.pagetitle {font-family:serif;font-weight:bold;font-size:175%;color:darkblue;padding:10px}
.stitle {font-size:150%;font-family:serif;font-weight:bold;color:darkblue;padding:10px}
.sstitle {font-size:135%;font-family:serif;font-weight:bold;padding:10px;color:darkblue}
.ssstitle {font-size:120%;font-family:serif;font-weight:bold;padding:10px;color:darkblue}
.qatitle {font-size:120%;font-family:serif;font-weight:bold;font-style:italic;padding:10px;color:darkblue}
.txt {font-family:serif;font-size:110%;padding:10px;}
.txtmono {font-family:monospace;font-size:110%;margin-left:15px;}
.txt2 {font-family:serif;font-size:110%;padding:5px;margin-left:10px}
.txtlst {font-family:serif;font-size:100%;margin-left:10px}
.codetxt {font-family:monospace;font-weight:bolder;color:blue}
.comment {padding-left:75px;color:rgb(102,102,102)}
.expanded {display:none;margin-left:10px;border:thin;padding:5px;color:black;background-color:#FFFFD9}
.hangtxt {font-family:serif;font-size:110%;padding-left:20px;text-indent:-20px;margin-left:10px}
.lformula {padding-top:8px;padding-left:25px;padding-bottom:8px;font-family:serif;font-weight:bold}
.monoformula {padding-top:8px;padding-left:25px;padding-bottom:8px;font-family:monospace;font-weight:bold}
.mainbox {margin-left:5%;margin-right:10%}
.nonbrk {white-space: nowrap;font-weight:bold}
.note {font-family:serif;background-color:rgb(240,220,200);padding:5px}
.partitle {font-size:105%;font-family:serif;font-weight:bold;font-style:italic;padding:8px}
.rcode {color:#C10000;font-family:monospace;font-weight:bold;font-size:105%;margin-left:10px;margin-top:3px;margin-bottom:3px}
.rcom {color:#090;font-size:90%;margin-left:10px}
.remark {padding-left:5px;color:rgb(102,102,102)}
.rout {color:#009;font-family:monospace;font-size:90%;margin-left:10px}
.lformula {padding-top:5px;padding-left:25px;padding-bottom:5px;font-family:serif;font-weight:bold;font-size:125%}
.mathformula {margin-left:15px;font-family:serif;padding:5px}	
.compformula {margin-left:15px;font-family:monospace;padding:5px}
.wc {color: #FFF;}
.blue_color {color: #00F;}
.red_color {color: #F00;}
.pink_color {color:#C00}
.xpink_color {color:#C00;font-weight:bold;font-style:italic}
.opt {font-family:monospace;background-color:#DFDFDF;cell-padding:3px}