.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;  color: #666666; font-weight: bold; text-decoration: none}
a:hover {  font-family: "Courier New", Courier, mono;  font-weight: bold; color: #0099CC; text-decoration: none}
a:visited {  font-family: "Courier New", Courier, mono;  font-weight: bold; color: #666666; text-decoration: none}


.pxt_hell {  font-family: "Courier New", Courier, mono; font-size: 14px; font-weight: normal; color: #FFFFCC; text-decoration: none}
.pxtmini {  font-family: "Courier New", Courier, mono; font-size: 9px; font-style: normal; font-weight: normal; color: #000066; text-decoration: none}
.pxtminihell { font-family: "Courier New", Courier, mono; font-size: 9px; font-style: normal; font-weight: normal; color: #000066; text-decoration: none }
.tab_nav {  border: #000066; border-style: dashed; border-top-width: medium; border-right-width: medium; border-bottom-width: medium; border-left-width: medium}
.tab_dünn { border: thin #000066 dotted}
.trennlinie { border: medium #000066 dashed}