body {
font-family: Helvetica, Arial, sans-serif;
}
p {
color: #000000;
} 
.button
{
font-weight: bold;
font-size: 0.8em;
text-align:center;
border: 1px solid white;
background-color: #aaaaff;	
}

.highlighted
{
border: 1px solid blue;
border-style: outset;
border-width: 1;
font-weight: bold;
font-size: 0.8em;
text-align:center;
background-color: #ff8888;	
}

.selected
{
border: 1px solid green;
border-style: outset;
border-width: 2;
cursor: hand;
}



 a { text-decoration: underline; color: rgb(0,0,192) } 
 a:hover { color: rgb(0,0,255) } 

.ib { border-left: 1 double rgb(0,0,128); border-right: 1 double rgb(0,0,128) }
.ix { border-left: 1 double rgb(0,0,128); border-right: 1 double rgb(0,0,128) ; border-top: 1px solid rgb(0,0,128); border-bottom: 1px solid rgb(0,0,128) }
.cm { border-top: 1px solid rgb(0,0,128); border-bottom: 1px solid rgb(0,0,128) }
.cs { border-left: 1 double rgb(0,0,128); border-right: 1 double rgb(0,0,128); border-top: 1px solid rgb(0,0,128); border-bottom: 1px solid rgb(0,0,128) }
#sci {
scrollbar-face-color : white;
scrollbar-base-color : #0080C0;
scrollbar-track-color : #0080C0;
scrollbar-highlight-color : #0080C0;
scrollbar-3d-light-color : #0080C0;
scrollbar-darkshadow-color : #0080C0;
scrollbar-shadow-color : #0080C0;
scrollbar-arrow-color : #0080C0; 
left: 0px;
top: 0px; }
}