body {
background: #C52600;
margin-top: 0px; 
margin-right: 0px; 
margin-bottom: 0px; 
margin-left: 0px
}

.table0 {
border: dotted; 
border-width: 0px 2px 2px; 
border-color: black #CCCCCC #CCCCCC
}

.table2 {
border: dotted; 
border-width: 2px 2px 0px; 
border-color: #CCCCCC #CCCCCC black
}

.table1 {
border: 2px #CCCCCC dotted
}

.logo {  
font-family: Helvetica, Arial, Verdana; 
font-size: 30px; 
font-weight: bold; 
color: #000000
}

.text {  
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
color: #000000
}

a.menu:link {  
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
font-weight: bold; 
color: #339933; 
text-decoration: none
}

a.menu:visited { 
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
font-weight: bold; 
color: #339933; 
text-decoration: none 
}

a.menu:hover { 
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
font-weight: bold; 
color: #FFCC00; 
text-decoration: none 
}

a.menu:active { 
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
font-weight: bold; 
color: #FFCC00; 
text-decoration: none 
}

.about {  
font-family: "Times New Roman", Times, serif; 
font-size: 15px; 
color: #999999; 
font-style: italic
}

.kernel {  
font-family: "Courier New", Courier, mono; 
font-size: 14px; 
color: #000000
}

a:link {  
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
color: #3366CC; 
text-decoration: underline
}

a:visited { 
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
color: #3366CC; 
text-decoration: underline 
}

a:active { 
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
color: #3366CC; 
text-decoration: none; 
font-weight: bold
}

a:hover { 
font-family: Helvetica, Arial, Verdana; 
font-size: 13px; 
color: #3366CC; 
text-decoration: none; 
font-weight: bold 
}