.pxt 
{  
font-family: "Courier New", Courier, mono; 
font-size: 24px; 
font-weight: bold; 
color: #000066
}

.pxtnorm 
{ 
font-family: "Courier New", Courier, mono; 
font-size: 16px; 
font-weight: bold; 
color: #000066 
}

.pxtklein 
{ 
font-family: "Courier New", Courier, mono; 
font-size: 14px; 
font-weight: normal; 
color: #000066 
}
a:link {  font-family: "Courier New", Courier, mono; font-size: 16px; color: #000066}
a:hover {  font-family: "Courier New", Courier, mono; font-size: 16px; font-weight: bold; color: #006699}
a:visited {  font-family: "Courier New", Courier, mono; font-size: 16px; font-weight: bold; text-decoration: none}
a:link {  font-weight: bold; text-decoration: none}
a:visited {  color: #000066}
.pxt_hell {  font-family: "Courier New", Courier, mono; font-size: 14px; font-weight: normal; color: #FFFFCC; text-decoration: none}
.pxtmini {  font-family: Arial, Helvetica, sans-serif; font-size: 9px; font-style: normal; font-weight: normal; color: #000099; text-decoration: none}
.pxtminihell { font-family: Arial, Helvetica, sans-serif; font-size: 9px; font-style: normal; font-weight: normal; color: #FFFFCC; text-decoration: none }