Re: a suggestion for css

[Karl Berry]

Hi Pat,

Finally had a chance to read your CSS suggestions.

    would be handy if it was possible to @import 
    "http://my.site.org/site_widestyle.css"; instead of having it inlined.

How about:

echo '@import "http://my.site.org/site_widestyle.css";;' \
| makeinfo --css-file=-

(Or, of course, just create a trivial one-line file with the @import
instead of using stdin.)

    The second issue is that it is not possible to take the rules overriding 
    makeinfo css rules from 2 different files, only from one.

We could change --css-file so that it can be specified more than once,
and all the output concatenated.  It will be a pain to read all the css
files and collect all the @imports before outputting any of them, but it
can be done, and it seems cleaner than introducing new options, if we
can avoid it.

    @import "makeinfo.css";

I really wanted to avoid putting the default css in an external file
like this, because then makeinfo.css has to get installed
somewhere/somehow, and it would just generally be an additional complication.

Thanks,
k