body {  font-family: Arial, Helvetica, sans-serif; font-size: small; color: #000000; background-color: #ffffff}

.bold {  font-weight: bold}
.centre {  text-align: center}
.tablecaption {  visibility: hidden}
.white-backgd {  background-color: #FFFFFF; color: #000000}
.indent {  text-indent: 15%}

a { color: #0000FF; text-decoration: underline}
 


.border {  }
.border_centre { font-family: "Courier New", Courier, mono; text-indent: 12em; border: 3px #3366FF; color: #000000; background-color: #ffffff ; text-align: center}

.bottom {  font-size: smaller; color: #000000}
code {  font-family: "Courier New", Courier, mono; color: #000000; background-color: #FFFFFF; text-indent: 15%; padding-top: 4px; padding-right: 4px; padding-bottom: 4px; padding-left: 4px}

.sup {  vertical-align: super}

.big-red {  font-family: "Comic Sans MS", Arial, Helvetica, sans-serif; font-size: xx-large; color: #FF0000}

.small {  font-size: x-small}
.i {  font-family: "Letter Gothic MT"}

.navbar {  font-family: "Comic Sans MS", Arial, Helvetica, sans-serif; font-size: small; color: #000000; background-color: #FFCC99; float: left; width: 15%; text-align: center; height: 300em; margin-top: -2%; margin-right: 4%; margin-left: -1%}

.index {  font-size: small; text-align: left; clip:  rect(   )}

.index-list {  line-height: 30%}
code {  }
.example {  font-family: "Courier New", Courier, mono; text-indent: 15%}