[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @format and @display in HTML output
|
From: |
Karl Berry |
|
Subject: |
Re: @format and @display in HTML output |
|
Date: |
Sat, 19 Apr 2003 19:59:26 -0400 |
<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.