body { background-color: rgb(#fefefe);
 	   background-repeat: no-repeat;
       background-position: top right;
       background-attachment: fixed;
    }
    
ul 
{
list-style-image: url('bladeRight.gif')
}
	
.smallCap {font-variant: small-caps}

.olLI {font-weight: bold; font-family: mono; font-variant: small-caps; font-size: 110%;} 	
	
td, th, ls, h1, h2, h3, h4, h5, h6, body, span { font-family: Arial, Helvetica, sans-serif; } 
h5 { margin-left: 1.0cm; font-weight: normal; font: 12pt/14pt; }
h1 {text-align: center; }
.squeeze {margin-left: 5%; margin-right: 5%; }
.largerI {font-style: italic; font-weight: bold; font-size: larger; } 
.large {font-size: 115%; }
.larger  {font-size: 130%; }
.largest {font-size: 145%; }
.small {font-size: 80%;}
.smaller {font-size: 60%; } 
.smallest { font-size: 50%; }
.indent {margin-left: 3%; } 
.indent2 {margin-left: 6%; }
.indent3 {margin-left: 9%; }

.italic {font-style: italic; }
.bold {font-weight: bold}
.underline  {text-decoration: underline}
.strike {text-decoration: line-through}
.bgYellow {background-color:yellow; }

div.color { background: rgb(204,204,255); padding: 0.5em; border: none; } 

A:active { color: purple } 
A:link { color : blue } 
A:visited { color : maroon } 
A:hover { background-color: coral; font-weight: bold }

.true { color: blue;  font-style: italic;}
.false { color: blue;  font-style: italic;}
.boolean { color: blue;  font-style: italic;}