body {
  padding: 2em 1em 2em 70px;
  margin: 0;
  font-family: Verdana, Arial, Helvetica;
  color: black;
  background: white;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none }

a img { color: white; }
@media all {           
  a img { color: inherit; }
}

ol
{ 
  color: #003399; 
  font-size: 11pt;
}
          
ul
{ 
  color: #003399; 
  font-size: 11pt;
}
          
dt
{ 
  color: #003399; 
  font-size: 11pt; 
  font-weight: bold;
}
          
dd
{ 
  color: #003399; 
  font-size: 11pt;
}

table {
  font-size: 10pt; 
  border-collapse: collapse;
  background-color: #fafafa;
  spacing: 0;
  padding: 2;
  border-style: solid;
  border-width: 0px;
  border-color: #000;  
}

th, td {
  spacing: 0;
  padding: 2;
  border-style: solid;
  border-width: 1px;
  border-color: #000;  
}

h1, h2, h3, h4, h5, h6 { 
  text-align: left 
}

h1, h2, h3 { color: #005A9C; background: white }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

.hide { display: none }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media screen
a[href]:hover { background: #ffa }
}

pre { margin-left: 2em }
dt, dd { margin-top: 0; margin-bottom: 0 }
dt { font-weight: bold }

pre, code { font-family: monospace }

ul.toc {
  list-style: disc;
  list-style: none;
}

@media aural {  
  h1, h2, h3 { stress: 20; richness: 90 }
  .hide { speak: none }
  p.copyright { volume: x-soft; speech-rate: x-fast }
  dt { pause-before: 20% }
  pre { speak-punctuation: code } 
}

.fig
{ 
  color: #400000; 
  font-size: 11pt
}

.example
{
  color: #3366CC;
  font-size: 11pt; 
  text-decoration: underline;
}

.equation
{
  color: #003399; 
  font-size: 11pt; 
  font-weight: bold;
}

.address
{
  color: #004040;
  font-size: 11pt; 
}