body { background-color:#ffffff; font-size:12px; line-height:14px;} 
table { font-size:12px; } form { margin:0px } A:link { text-decoration: underline; 
color:#003399; } A:visited { text-decoration: underline; color:#993366; } A:hover 
{ text-decoration: none; color:#FF0000; } A:active { text-decoration: underline; 
color:#993366; } dt.res { color: #666666; font-size:14px; font-weight:bold; } 
.ps { color: #666666;} h3 { color: #660066; font-size:14px; } em { color: #970F56; 
font-style:normal; } strong { color: #970F56;} strong.keyword { color: #ff3300;} 
p.example { text-indent: 1em; color: #ff3300; font-weight: bold; font-family: 
monospace; } code { color: #ff3300; font-family: monospace; } code.example { color: 
#ff3300; font-weight: bold; font-family: monospace; } code.operator { color: #009933; 
font-family: monospace; font-weight: bold; } .small { font-size:12px; color:#663366;} 
.menu { font-size:12px; color:#333344;} .categ { font-size:14px; font-weight:bold;} 
.text10 { font-size: 10px} .text11 { font-size: 11px} .text12 { font-size: 12px} .text13 { font-size: 13px} 
.text14 { font-size: 14px} .text15 { font-size: 15px} .text16 { font-size: 16px} 
.bunshou { line-height: 16px; font-size: 12px} .bunshou2 { font-size: 11px; line-height: 
15px} .bunshou14 { font-size: 14px; line-height: 22px}
.button { width: 180px; }