|
From: | Mahlon |
Subject: | Re: @quotation and @indentedblock in html and DocBook |
Date: | Tue, 23 Dec 2014 06:59:15 +0800 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.3.0 |
On 12/21/2014 01:53 AM, Per Bothner
wrote:
Yes, that's an interesting idea. @quotation, @indentedblock, @example, @display and their @small. . . counterparts could receive class designations. I have some concerns though about how the style stubs in the <head> section would be configured to support this. Currently these stubs are extremely simple. Our existing template for the blockquote looks like this: blockquote.smallquotation {font-size: smaller} but this is not quite right because the @quotation command indents both left and right in the info output: blockquote.smallquotation {margin-right: 3.2em; font-size: smaller} Should we then have something like this for our style stubs? (relies on the default left margin of <blockquote>): blockquote.quotation {margin-right: 3.2em;} blockquote.smallquotation {margin-right: 3.2em; font-size: smaller;} blockquote.indentedblock { /*nothing needed here*/ } blockquote.smallindentedblock {font-size: smaller;} blockquote.display {white-space: pre;} blockquote.smalldisplay {white-space: pre; font-size: smaller;} blockquote.example {font-family: monospace; white-space: pre;} blockquote.smallexample {font-family: monospace; white-space: pre; font-size: smaller;} I also have had some discussions about the @exdent command used within these blocks. This command seems useless to me, but it exists, so we need to determine how (or if) it can be supported within these blocks. (see post of 23 November). Your thoughts? Mahlon
--
Software Sam - software and tools for GNU/Linux |
[Prev in Thread] | Current Thread | [Next in Thread] |