/ Kevin Dunn <[EMAIL PROTECTED]> was heard to say:
| When using pdfjadetex, the secondaryie's come out in a larger font size
| (i.e. the body font size) than the primaryie's. Looking at dbindex.dsl,
| I added the following to my driver:
|
| (element secondaryie
| (make paragraph
| font-size: (* (inherited-font-size) %smaller-size-factor%) ;; NEW
| start-indent: (+ (inherited-start-indent) 1em)
| (process-children)))
|
| This fixed it. The same thing should be done with tertiaryie. Apparently
| the secondaryie does not inherit the font size from the primary ie, at
| least in the tex backend. Is this a bona fide stylesheet error?
Looks that way. Fixed.
Be seeing you,
norm
--
Norman Walsh <[EMAIL PROTECTED]> | A man can believe a considerable
http://www.oasis-open.org/docbook/ | deal of rubbish, and yet go about
Chair, DocBook Technical Committee | his daily work in a rational and
| cheerful manner.--Norman Douglas
------------------------------------------------------------------
To unsubscribe from this elist send a message with the single word
"unsubscribe" in the body to: [EMAIL PROTECTED]
