h1 { text-align:center; font-size: 24px; }
h3 { text-align:center; font-size: 18px; margin-top:0px; margin-bottom:5px; }

body { font-family: Arial,Helvetica; font-size:14px; }
pre { font-size:12px; }

span.small { font-size:12px; }
span.title { font-size:18px; font-weight:bold; }

table { font-size: 14px; }
table.content { border-style:solid; border-width:2px; border-color:#000000; font-size: 14px; }
table.src { border-style:dotted; border-width:1px; border-color:#000000; background-color:#FFFFDF; }