BODY {
  color:	#000000;
  background-color:	#FFFFFF;
}
BODY.menu {
  color:	#666699;
  background-color:	#000000;
}
A {
  cursoe:	pointer;
}
A:link {
  color:	#6699FF;
}
A:visited {
  color:	#990066;
}
A:active {
  color:	#CC0033;
}
A:hover {
  color:	#FFFF66;
  background-color:	#6699FF;
}
.italic{
  font-style:	italic;
}
H1 {
  color:	#3366CC;
  background-color:	#33FFCC;
  font-size:	20pt;
  text-align:	center;
}
H1.title {
  color:	#3366CC;
  background-color:	#33FFCC;
  font-family:	"‚l‚r ‚o–¾’©",serif;
  font-size:	36pt;
  text-align:	center;
}
H2 {
  border-style: solid;
  border-width: 2px 0px 2px 20px;
  border-color: #009933;
}
H3 {
  color: blue;
}
TABLE.source {
  width:	90%;
  background-color:	black;
  color:			white;
  font-family:	monospace;
}
TH {
  }
TD {
  }
DT {
  font-weight:	bold;
}
DD {
  }
#point {
  font-weight:	bold;
  color:	red;
}