body
 {
  color: black;
  #background-color: #AACCDD;
  font-family: Arial, Helvetica, Georgia;
  font-size: 11pt;
  font-style: normal;
  font-weight: normal;
  font-width: normal;
  font-variant: normal;
  line-height:normal;
  #padding-left: 15em
 }

h1
 {
  color: white;
  background-color: gray;
  font-family: Garamond, Tahoma, Arial, Helvetica;
  font-size: 18pt;
  font-style: normal;
  font-weight: normal;
  font-width: normal;
  font-variant: normal;
  line-height:normal
 }


h1.amonweb
 {
  color: yellow;
  background-color: red;
  font-family: Garamond, Tahoma, Arial, Helvetica;
  font-size: 12pt;
  font-style: italic;
  font-weight: normal;
  font-width: normal;
  font-variant: normal;
  line-height:normal
  padding: 0em;
  margin: 1em;
  position: absolute;
  top: 0.5em;
  left: 0em;
  width: 11em
 }

ul.sidemenubar
 {
  font-family: Georgia, Garamond, Arial;
  font_size: 6pt;
  font-style: normal;
  font-weight: normal;
  font-width: normal;
  font-variant: normal;
  line-height:normal;
  list-style-type: none;
  padding: 0em;
  margin: 1em;
  position: absolute;
  top: 2em;
  left: 0em;
  width: 12em
 }

ul.sidemenubar li
 {
  background: #EDB;
  margin: 0.5em 0;
  padding: 0.1em;
  border-right: 0.2em solid gray;
  border-left: 0.2em solid gray
 }

ul.sidemenubar a
 {
  text-decoration: none
 }

a:link
 {
  color: blue;
  text-decoration: none
 }

a:visited
 {
  color: purple;
  text_decoration: none
 }

a:hover
 {
  background: cyan
 }

address
 {
  color: gray;
  font-family: Garamond, Georgia, Arial;
  font-size: 9pt;
  font-style: normal;
  font-weight: bold;
  font-width: normal;
  font-variant: normal;
  line-height:normal
  margin-top: 1em;
  padding-top: 1em;
  border-top:thin dotted
 }

blockquote
 {
  color: black;
  font-family: Courier, Garamond, Georgia, Arial;
  font-size: 10pt;
  font-style: normal;
  font-weight: bold;
  font-width: normal;
  font-variant: normal;
  line-height:normal
  padding-top: .5em;
  padding-bottom: .5em;
  padding-left: .3em;
  border-top:thin dotted;
  border-bottom:thin dotted;
  margin-top: 1em;
  margin-right: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  background: 
 }

pre
 {
  color: black;
  font-family: Courier, Garamond, Georgia, Arial;
  font-size: 10pt;
  font-style: normal;
  font-weight: bold;
  font-width: normal;
  font-variant: normal;
  line-height:normal
  padding-top: .5em;
  padding-bottom: .5em;
  padding-left: .3em;
  border-top:thin dotted;
  border-bottom:thin dotted;
  margin-top: 1em;
  margin-right: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  background:  
 }

pre.examples
 {
  background: rgb(216,216,216)
 }


img 
 {
  border: 0;
  align: left;
  height: 60;
  width: 170
 }

img.logobar
 {
  padding: 0em;
  margin: 1em;
  position: absolute;
  top: 0.5em;
  left: 0em;
  width: 13em
 }

table.tablist
 {
  line-height: normal;
  padding-top: .5em;
  padding-bottom: .5em;
  padding-left: .3em;
  border-top:thin dotted;
  border-bottom:none;
  border-width: thin;
  border-color:gray;
  margin-top: 1em;
  margin-right: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  background: none
 }

td.coltext
 {
  line-height: normal;
  padding-top: .5em;
  padding-bottom: .5em;
  padding-left: .3em;
  border-top:none;
  border-bottom:thin dotted;
  border-width: thin;
  border-color:gray;
  margin-top: 1em;
  margin-right: 1em;
  margin-bottom: 1em;
  margin-left: 1em;
  background: none
 }

p.lvl1
 {
  color: blue;
  align: left;
  font-family: Georgia, Arial, Helvetica;
  font-size: 15pt;
  font-style: normal;
  font-weight: bold;
  font-width: normal;
  font-variant: normal;
  line-height:normal;
 # padding-left: 15em
 }

p.lvl2
 {
  color: blue;
  align: left;
  font-family: Georgia, Arial, Helvetica;
  font-size: 13pt;
  font-style: normal;
  font-weight: bold;
  font-width: normal;
  font-variant: normal;
  line-height:normal;
 # padding-left: 15em
 }

p.lvl3
 {
  color: blue;
  align: left;
  font-family: Georgia, Arial, Helvetica;
  font-size: 11pt;
  font-style: normal;
  font-weight: bold;
  font-width: normal;
  font-variant: normal;
  line-height:normal;
#  padding-left: 15em
 }

p.about
 {
  color: red;
  align: left;
  font-family: Georgia, Arial, Helvetica;
  font-size: 10pt;
  font-style: italic;
  font-weight: normal;
  font-variant: normal;
  line-height: normal;
  border-top:thin dotted;
  border-bottom: thin dotted;
  border-width: thin;
  border-color:gray;
 }

#content
 {
  width: 900px;
  margin: 10px;
  padding: 10px
 }

#divmenu
 {
  float: left;
  width: 100px
 }

#divbody
 {
  float: right;
  width: 700px
 }



<!-- background-color: "#d8da3d" -->
<!-- background: url(texture.gif) white; -->
<!-- designed by: amar_padhi@fastmail.fm -->