body
{
	margin: 0;
	padding: 0;
	background-color: #FFF;
	font-family: trebuchet ms, verdana, tahoma, arial;
	font-size: 75%;
	line-height: 200%;
	background-image: url(../images/tile.gif);
	height: 100%;
}

img
{
	border: 0px;
}


body > #menu
{
	position: fixed;
	
}

a:active, a:visited, a:link
{
	color: #D46502;
	text-decoration: underline;
}

a:hover, screenshot:hover
{
	color: #000000;
	text-decoration: none;
}

.screenshot {
 /* same as a:active */
 color: #D46502;
 text-decoration: underline;
}

.screenshot:hover {
	color: #000000;
	text-decoration: none;
	cursor: pointer;
}

#menu
{
	position: absolute;
	top: 0;
	left: 10px;
	width: 200px;
	height: 100%;
	overflow: auto;
	background-color: #555;
	border-right:1px solid #000;
}

#menutop
{
	width: 200px;
	height: 200px;
	border-bottom:1px solid #808080;
	background-color: #444;
}

#main
{
	width: 540px;
	height: 6000px;
	margin-left: 211px;
	padding: 20px;
	background-color: #EDEDED;
	overflow: visible;
}

#ad
{
	margin-left: 267px;
	overflow: visible;
}

#main h2
{
	font-family: verdana;
	font-weight: bold;
	letter-spacing: 3px;
	font-size: 150%;
	text-align: right;
	color: #7A8088;
	text-decoration: underline;
}

#main h1
{
	font-family: verdana;
	font-weight: bold;
	letter-spacing: 1px;
	font-size: 110%;
	text-align: left;
	color: #D46502;
}

#main ul
{
	font-family: Verdana;
	font-size: 90%;
}

/** eric's additions 
.indent {
  padding-right: 2em;
  padding-left: 2em;
  width: 50em;
  text-align: justify;
}   **/
table {
	border-width: 0px 0px 0px 0px;
	border-spacing: 2px;
	border-style: none none none none;
	border-color: white white white white;
	border-collapse: separate;
	background-color: #EEEEEE;
	
}
table th {
	border-width: 1px 1px 1px 1px;
	padding: 0px 0px 0px 0px;
	border-color: #E78500 #E78500 #E78500 #E78500;
	background-color: rgb(250, 240, 230);
}
table td {
	border-width: 1px 1px 1px 1px;
	padding: 0px 0px 0px 0px;
	border-color: #E78500 #E78500 #E78500 #E78500;
	background-color: White;
  vertical-align: top;
	padding-left: 5px;
}

.code {
	font-family: "Courier New", Courier, monospace;
}

.code-with-border {
	font-family: "Courier New", Courier, monospace;
	border: 1px solid #E78500;
	padding-left: .3em;
}
.superscript {
	font-size: x-small;
	vertical-align: super;
}
.footnote {
	font-size: x-small;
	line-height: 100%;
}

.pattern {
	background-color: #FFCC00;
	padding: 0em 1em 0em 1em;
}