body
{
  margin: 10px;
}

p, h1, h2, h3, h4, h5, h6
{
  widows: 3;
  orphans: 3;
}

a:link
{
  color: #000080;
  background-color: transparent;
}

a:visited
{
  color: black;
  background-color: transparent;
  font-style: normal
}

h2, h3, h4
{
  margin-top: 2em;
}

#horizon 
{
  background-color: transparent;
}

#main
{
  background-color: transparent;
  text-align: left;
  font-family: Georgia, serif;
}

#sidebar
{
  display: none;
}

div.button
{
  padding: 4px;
  border-top: 1px solid black;
  font-weight: bold;
  text-align: right;
  margin-left: auto;
  margin-right: auto;
  width: 100px;
}

div.disbutton
{
  padding: 4px;
  border-top: 1px solid black;
  font-weight: bold;
  text-align: right;
  margin-left: auto;
  margin-right: auto;
  width: 100px;
  color: #C02020;
}

div.button a:link
{
  color: black;
  text-decoration: none
}

div.button a:visited
{
  color: black;
  text-decoration: none
}

div.button a:active
{
  color: black;
  text-decoration: none
}

div.button a:hover
{
  color: #4080C0;
  text-decoration: none
}  

#mainpage
{
  background-color: white;
  font-family: Georgia, serif;
  padding: 10px;
}

div.rdc
{
  text-align: left; 
  font-size: xx-small;
}

.borderless
{
  border: 0px;
}

#contents
{
  padding: 10px;
}

tr.captionrow
{
  color: black;
  background-color: #80C0E0;
}

tr.captionrow td
{
  font-weight: bold;
  font-size: 120%;
  font-family: Trebuchet MS, sans-serif;
  border-bottom: 1px solid black;
}

tr.tablerow
{
  color: black;
  background-color: #E0F0F8;
  font-size: 90%;
  text-align: left;
  vertical-align: top;
}

tr.tablerow td
{
  padding: 0.3em;
}

/* source code inline */

.sourcecode {
  padding: 6px 6px;
  font-family: "Courier New", monospace;
  font-size: 10pt;
  margin-left: 1em;
  overflow: visible;
  orphans: 3;
  widows: 3;
}

.sourcecode cite {
  font-style: normal;
  color: #0000CC;
  white-space: pre
}

.sourcecode a:link {
  font-style: normal;
  color: #000080;
  white-space: pre
}

.sourcecode a:visited {
  font-style: normal;
  color: #C00000;
  white-space: pre
}

.sourcecode b
{
  color: #C02020;
}

/* special code */

.preproc
{
  color: #008000;
}

.comment
{
  color: #0000C0;
  font-style: italic;
}

.string
{
  color: #0000C0;
}

/* back to top line */

p.backtotop {
  font-size: 90%;
  text-align: center;
}

h1, h2, h3 
{
  font-family: Trebuchet MS, Tahoma, sans-serif;
}

h1
{
  font-weight: bold;
}

.georgia
{
  font-family: Georgia, serif;
}

.boldheader
{
  font-family: Trebuchet MS, sans-serif;
}

/* link to printable version */

#toprintversion
{
}

/* links to Articles and to Main */

#printversion
{
  display: none;
}

/* top picture on web page */

#toppic
{
  display: none;
}

/* validators at bottom */

#validators
{
  display: none;
} 

.uparrow
{
  display: none;
}

.refer
{
  display: none;
}

.refertop
{
  display: none;
}