a:active { color: #ff0000; text-decoration: none }
a:hover { color: #ff6600; text-decoration: none }
a:link { color: #003366; text-decoration: none }
a:visited { color: #003366; text-decoration: none }
a.sv:visited { color: #663399; text-decoration: none }

code { font-family: "Courier New", Courier, monospace }

.em { font-family: "Courier New", Courier, monospace }
.ess { font-family: Helvetica, Arial, sans-serif }
.es { font-family: "Times New Roman", Times, serif }
.jm { font-family: Osaka�|“™•�, "‚l‚r ƒSƒVƒbƒN", monospace }
.jss { font-family: Osaka, "‚l‚r ‚oƒSƒVƒbƒN", sans-serif }
.js { font-family: –{–¾’©�|‚l, "‚l‚r ‚o–¾’©", serif }

.ws0 { font-size: 10px }
.ws1 { font-size: 11px }
.ws2 { font-size: 12px }
.ws3 { font-size: 13px }
.ws4 { font-size: 15px }

.ms0 { font-size: 8px }
.ms1 { font-size: 9px }
.ms2 { font-size: 10px }
.ms3 { font-size: 12px }
.ms4 { font-size: 14px }