/ Elliotte Harold <> was heard to say:
| Norman Walsh wrote:
|
|> Indeed. I'd be happy with <span class="filename">, but inline style
|> doesn't appeal to me at all.
|
| OK. Inline style won't work. I agree.
|
| Should we then have the CSS stylesheets generate style elements in the
| HTML head of each document, then? Or should we even go so far as to
| generate an external CSS stylesheet?
That is the question. I don't know what the right answer is, but here's
my current thinking:
1. Define a parameter that contains default content for a style element
in the head.
2. Define a parameter that contains user-specified content for a style
element in the head, initially empty.
3. If the user specifies an external CSS stylesheet or user-specified
content for the style element, use that. Otherwise use the default
content.
Be seeing you,
norm
--
Norman Walsh <> | Some people will never learn
http://www.oasis-open.org/docbook/ | anything, for this reason, because
Chair, DocBook Technical Committee | they understand everything too
| soon.-- Pope
