Re: makeinfo and CSS

[Karl Berry]

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

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 :).

Thanks,
karl