/* CSS Document */

#coolmenu { 
border : 0 solid white;
width : 213px;
background-color : #cc99ff;
} 
#coolmenu a { 
font : bold 13px Arial;
padding : 2px;
padding-left : 4px;
display : block;
width : 100%;
color : #000000;
text-decoration : none;
border-bottom : 1px solid white;
} 
html > body #coolmenu a { 
width : auto;
} 
#coolmenu a:hover { 
background-color : #ffffff;
color : black;
} 
#tabledescription { 
width : 100%;
height : 3em;
padding : 2px;
} 
.style5 { 
font-size : 16px;
font-weight : bold;
} 
.style6 { 
font-size : 14px;
font-weight : bold;
} 
.style8 { 
font-size : 14px;
} 
.style9 { 
font-size : 12px;
} 
.style11 { 
font-size : 12px;
font-weight : bold;
}