body {background-image: url(pics/back.gif)}
.fontM1 {font-size: small}
.fontM2 {font-size: smaller}
.fontL1 {font-size: large}
.fontL2 {font-size: larger}
.blueItalic {font-style: italic; color: blue; font-weight: bold}

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%; }
.bold {font-weight: bold; }

.skip {margin-top: 1em; }
.skip2 {margin-top: 2em; }

.italic {font-style: italic; }
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;}