[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: makeinfo and CSS

From: Karl Berry
Subject: Re: makeinfo and CSS
Date: Mon, 12 May 2003 14:25:42 -0400

    I didn't see the source, but this can also be a @page, @media, etc

I figured, but I wrote the code to just copy any @...; construct into
the <style> output.  Will that cause trouble in practice?  It would be
kind of a pain to have to recognize @import specifically.

I'll change the documentation to be a little clearer about this.  Thanks
for the info.
    Then the coding of the CSS file must be translated to the document
    encoding before inserting the CSS fragment.

Yeah, I'm definitely not going to implement any character set
translation stuff.  That's another huge area which makeinfo makes no
attempt to deal with.

    Although Mozilla implements this fully, perhaps a good compromise is
    simply to remove a @charset rule and print a warning.

Does anything bad happen if the @charset is copied into the output?
Most likely the css @charset and the document encoding are going to be
compatible anyway.

I think I may just mention it in the documentation for now, and not try
to program anything, even a warning :).


reply via email to

[Prev in Thread] Current Thread [Next in Thread]