[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @format and @display in HTML output
|
From: |
Simon Law |
|
Subject: |
Re: @format and @display in HTML output |
|
Date: |
Sat, 19 Apr 2003 20:15:45 -0400 |
|
User-agent: |
Mutt/1.3.28i |
On Sat, Apr 19, 2003 at 07:59:26PM -0400, Karl Berry wrote:
> <style type="text/css">
> pre.format { font-family: serif }
> </style>
>
> Do you think <style> is supported by enough browsers to make this
> acceptable? I guess so. The downside is small, anyway (typewriter text
> for @format/@display output).
>
> at the end of the <head>. (Because the class attribute is set I
> assume that a makeinfo developer wanted to use CSS.?)
>
> Yes, Stephen Gildea sent me the changes for all those class= attributes,
> precisely so changes like this could be made.
>
> I think I'll do it, thereby starting down the slippery slope :). Thanks.
Excellent. Slippery slope indeed.
I think I can sucker someone to hack XHTML + CSS into makeinfo
--html. I promise that all the code he writes will degrade gracefully.
Simon