body {
    font-size:0.80em;
    font-family:tahoma, verdana, geneva, lucida, 'lucida grande', arial, helvetica, sans-serif}

h3,code,div.code { font-size:1em }
div.float p a,#sublist strong,input,div.quote strong { font-size:0.75em }
#tabs,#info,#foot,#list li,ul.textlist a,#menu li,p.date,p.com,p.plist,h1,h2,#sublist a,div.ilist h3 a,div.cominfo { font-size:0.85em }

pre {
 white-space: pre-wrap;       /* css-3 */
 white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
 white-space: -pre-wrap;      /* Opera 4-6 */
 white-space: -o-pre-wrap;    /* Opera 7 */
 word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

/* for moz */
html>body pre { font-size:small }
html>body code { font-size:1.30em }

/* for opera */
@media all and (min-width:0px)
{
html>body pre { font-size:1em }
html>body code { font-size:1em }
}

/* /manuals/ */
#man h1 { font-size:1.10em }
#man h2 { font-size:0.95em }
#man h3 { font-size:0.90em }

/* lists */
ul.ltext li,ul.tlist li,ul.textlist li { font-family:arial, helvetica, sans-serif }