a:link {color: #0033CC; text-decoration:none;}
a:visited {color:  #9933FF; text-decoration:none;}
a:hover {color:  #FF0000; text-decoration:none;}

.p0 {font-size: 9px;}
.p1 {font-size:10px;}
.p2 {font-size:12px;}
.p3 {font-size:14px;}
.p4 {font-size:16px;}
.p5 {font-size:18px;}

.p1b {font-size:10px; font-weight: bold;}
.p2b {font-size:12px; font-weight: bold;}
.p2b_2 {font-weight:bold; font-size:12px ; line-height:17px}
.p3b {font-size:14px; font-weight: bold;}
.p4b {font-size:16px; font-weight: bold;}
.p5b {font-size:18px; font-weight: bold;}

.pt10 { font-size:10pt; line-height: 110%}

.p2h13 {font-size:12px; line-height:1.3em;}

.pdown {font-size: 12px; background-color: #EEEEAA;}

.fctbtn {font-size: 12px; background-color: #BBEEBB;}
.smtbtn {font-size: 12px; background-color: #FFBBBB;}

.underb {text-decoration:underline; font-weight:bold;}

strong.keyword { color: #df0000; }
p.example      { text-indent: 1em; 
                 color: #0000df;
                 font-weight: bold;
                 font-family: monospace; }
code           { color: #0000df;
                 font-family: monospace; }
code.example   { color: #0000df;
                 font-weight: bold;
                 font-family: monospace; }
code.operator  { color: #0000df;
                 font-family: monospace; 
                 font-weight: bold; }