texinfo/makeinfo html.c

[Karl Berry]

CVSROOT:        /cvsroot/texinfo
Module name:    texinfo
Changes by:     Karl Berry <address@hidden>     03/04/20 17:55:50

Modified files:
        makeinfo       : html.c 

Log message:
        (html_output_head): use <style> to get the regular
        roman font instead of typewriter for @format and
        @display; likewise to reduce the font size for
        @small*.  Suggestion from: "Torsten Bronger"
        <address@hidden>, 20 Apr 2003
        11:03:59 +0200.

CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/makeinfo/html.c.diff?tr1=1.10&tr2=&r1=text&r2=text