body {
  color: black;
  background-color: white;
  font-size: 12pt
}
H1 {
  color: black; 
  text-align: center
}
H2 {
  color: black;
  text-align: left
}
H3 {
  color: black;
  text-align: left;
  text-decoration: underline
}
HR {
  color: #A00000; 
  height: 4; 
  background-color: #A00000
}
HR.black {
  color: black; 
  height: 4; 
  background-color: black
}
HR.thin {
  color: black;
  height: 1;
  background-color: white;
  position: relative;
  top: -1ex  
}
HR.head {
  color: black;
  height: 2;
  background-color: black;
  position: relative;
  top: -1ex  
}
sub  {
  font-size: 80%
}
sup  {
  font-size: 80%
}
pre   {
  font-weight: bold;
  font-family: Courier new, monospace;
  font-size: 100%
}
tt   {
  font-weight: bold;
  font-family: Courier new, monospace;
  font-size: 100%
}
.tt   {
  font-weight: bold;
  font-family: Courier new, monospace;
  font-size: 100%
}
A:link    {
  color: blue;   
  text-decoration: underline;
  font-style: italic
}
A:visited {
  color: #3160E1;   
  text-decoration: underline;
  font-style: italic
}
A:active  {
  color: red;    
  text-decoration: underline;
  font-style: italic
}
A:hover {
  color: red;
  text-decoration: underline;
  font-style: italic
}
dt {
  text-align: left
}
dd {
  text-align: left
}
.topiclink {
  color: blue
}
.links	  {
  background-color: #C3E3FF;
  color: black
}
.nextpagelink {
  color: red;
  font-weight: bolder;
  font-size: 150%
}
.reallybig {
  font-weight: bolder;
  font-size: 200%
}
.cppcolor   {
  color: #702400
}
.cppi	{
  color: #702400;
  font-style: italic;
  font-weight: normal;
  font-family: serif;
  font-size: 105%
}
.cpp   {
  color: #702400;
  font-weight: bold;
  font-family: Courier new, monospace
}
.cppbad   {
  color: #C00070;
  font-weight: bold;
  font-family: Courier new, monospace
}
.cppgood   {
  color: #702400;
  font-weight: bold;
  font-family: Courier new, monospace
}
.black   {
  color: black;
  font-weight: normal
}
.blacki   {
  color: black;
  font-style: italic;
  font-weight: normal
}
.blue	 {
  color: blue
}
.red     {
  color: red
}
.darkred     {
  color: #A00000
}
.orange  {
  color: #FF8C00
}
.darkorange {
  color: #DF5000
}
.magenta  {
  color: #FF00FF
}
.green	  {
  color: #007000
}
.grey	  {
  background-color: #D3D3D3;
  color: black
}
.frame	  {
  background-color: #C0C0FF;
  color: black
}
.black {
  color: black;
  border-color: black 
}
.highpts {
  color: red
}
.big     {
  font-size: larger
}
.huge    {
  font-size: 150%
}
.hugebold    {
  font-size: 150%;
  font-weight: bold
}
.small   {
  font-size: smaller
}
.emph {
  font-style: italic;
  font-weight: bold;
  color: #0000A0
}
.eqn {
  color: red
}
.assn {
  color: red;
  font-weight: bold
}
.quiz {
  color: red;
  font-weight: bold
}
.proviso {
  color: #008000
}
.term    {
  font-style: italic;
  color: blue
}
.rmterm    {
  color: blue
}
.rm    {
  font-family: serif
}
.normal    {
  font-style: normal
}
.boldterm    {
  font-style: italic;
  font-weight: bold;
  color: blue
}
.topic  {
  font-weight: bold;
  font-size: larger;
  color: #0000C0
}
.toptable {
  background-color: #ADD8E6;
  border-color: #808080;
  border-style: solid;
  border-width: 4px
}
.th	  {
  background-color: #D0A0F8;
  text-align: center
}
.arrow {
  font-weight: bold;
  font-family: Arial, sans-serif
}
.lic {
  background-color: white; 
}
.ddc {
  background-color: #FEFDE8; 
}
.pagelisttopic {
  font-weight: bold;
  font-size: 110%
}
.pagelisttext {
  border-width: thin;
  border-color: black;
  border-style: solid;
  background-color: #FEFDE8;
  padding: 1mm
}
.parbox {
  width: 100%;
  border-width: thin;
  border-color: black;
  border-style: solid;
  background-color: #FEFDE8
}
.overline {
  text-decoration: overline
}
.optional {
  color: #006020  
}
.anecdote {
  color: #300010
}
.anecdotetable {
  border-color: black;
  border-style: solid;
  border-width: 1px;
  background-color: #FEFDE8
}
.fbox {
  border-color: black;
  border-style: solid;
  border-width: 1px;
  background-color: #FEFDE8;
  width: 90%;
  padding: 1mm
}
.fboxembed {
  border-color: black;
  border-style: solid;
  border-width: 1px;
  background-color: #EAEAEA
}
.border {
  border-style: solid;
  border-width: 2px;
  padding: 1mm
}
.indent {
  margin-left: 4mm
}
.indent2 {
  margin-left: 6mm
}