/* Standard settings for all my web pages */
/* Modified Dec, 2000 to use Mac fonts first. */
/* Modified Feb, 2001 to be more Netscape on Linux friendly. */
body
{
	margin-left: 10px;
	margin-right: 10px;
	/*	font-family: monaco,arial,sans-serif */
	font-family: verdana,sans-serif;
	font-size: 10pt;
	color: gold;
	background-color: black;
	background-image: url(../images/wooddark.jpg);
}

p,.toc, .orderedlist {
	font-family: verdana,helvetica,sans-serif;
	font-size: 12 pt;
}

h1 {
	font-family: charcoal,helvetica,sans-serif;
	font-size: 24pt;
	text-align: center;
	color: gold
}
h2
{
	font-family: charcoal,helvetica,sans-serif;
	font-size: 18pt;
	font-style: italic;
	color: green;
	text-align: left;
	margin-top: 2em;
	padding: 5px;
	background-color: gold;
	border-color: yellow;
	border-width: 4px;
	border-style: ridge;
	width: 80%;
}
h3
{
	font-family: charcoal,helvetica,sans-serif;
	font-size: 14pt;
	color: green;
	background-color: gold;
	padding: 5px;
	width: 80%;
	border-width: 0em;
}
h4 {
	font-family: charcoal,helvetica,sans-serif;
	font-weight: bold;
	font-size: 14pt;
	color: gold
}
dl,ul,ol {
	font-family: verdana,helvetica,sans-serif; 
	font-size: 10pt;
}

/* Does not work in IE 4.5 on Macintosh */

dt {
	font-family: verdana,helvetica,sans-serif;
	font-weight: bold;
	font-size: 12pt;
}

dl.dd {
	font-family: verdana,helvetica,sans-serif;
	font-size: 12pt;
}

/* does not work for IE 4.5 on Macintosh */
 
table {
	font-size: 12pt;
	font-family: verdana,helvetica,sans-serif;
}

table th {
  font-weight: bold;
}


/* Netscape on Linux does not have the TradeMark symbol in their standard fonts */
sub {
	font-family: verdana,helvetica,sans-serif;
	font-weight: normal;
	font-size: 8pt;
}
a {
	color: gold;
	text-decoration: underline;
	background-color: transparent;
}
a:hover
{
	color: green;
	text-decoration: blink;
	background-color: white;
	font-weight: normal;
}

.copyright {
	color: #aaa;
	font-style: italic;
	border-top: 1px solid #aaa;
	margin-top: 40px;
}

td.month { background-color: yellow; }

/* Netscape on Linux does not understand setting dt font-weight to bold */
.bold {
	font-weight: bold;
}

.label {
	/* font-family: verdana,helvetica,sans-serif; */
	font-family: courier,monospace;
	font-size: 24pt;
	font-weight: bold;
	color: "#CC9966";
}

.labelbar {
	font-family: verdana,helvetica,sans-serif;
	font-size: 14pt;
	font-weight: bold;
}
	
.navigation {
	font-family: verdana,helvetica,sans-serif;
	font-size: 12px;
	color: green
}
.header {
	font-weight: bold;
	font-family: charcoal,helvetica,sans-serif;
	color: navy
}

.footer {
	font-family: charcoal,verdana,helvetica,sans-serif;
	font-size: 9pt;
	color: blue
}
.callout {
	float : right;
	width : 200px;
	font-size : 75%;
	color : Black;
	background-color : #FFEAAA;
	padding : 15px;
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	margin-left : 15px;
	line-height : 15px;
}

.letter {
	font-size : 75%;
	color : Black;
	background-color : #FFEAAA;
	padding : 15px;
	font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
	margin-left : 15px;
	line-height : 15px;
}
code {
    font-family: monospace;
	font-size: 9pt;
}


PRE {
  white-space: pre;
  background-color: rgb(237,229,229);
  color: black;
  font-family: monospace;
  border-style: solid;
  border-width: 1px;
  padding: 1%;
  width: 100%;
	font-size: 9pt;
}

PRE SPAN.doc-string {
  background-color: rgb(237,229,229);
  color: rgb(40,138,81);
}

PRE SPAN.reference {
  background-color: rgb(237,229,229);
  color: rgb(0,101,190);
}

PRE SPAN.type {
  background-color: rgb(237,229,229);
  color: rgb(142,0,142);
}

PRE SPAN.function-name {
  background-color: rgb(237,229,229);
  color: rgb(207,0,0);
}

PRE SPAN.string {
  background-color: rgb(237,229,229);
  color: rgb(0,138,142);
}

PRE SPAN.comment {
  background-color: rgb(237,229,229);
  color: rgb(121,105,239);
}

PRE SPAN.variable-name {
  background-color: rgb(237,229,229);
  color: rgb(190,101,0);
}

PRE SPAN.preprocessor {
  background-color: rgb(237,229,229);
  color: rgb(0,138,0);
}

PRE SPAN.keyword {
  background-color: rgb(237,229,229);
  color: rgb(0,0,142);
}