body {
	background-color: #000;
}

h1 {
	font-family: arial, helvetica, sans-serif;
	font-weight: bold;
	font-variant: small-caps;
	font-size: 4em;
	color: #BBC
}

h2 {
	font-family: "times new roman," times, serif;
	color: #FFF;
}

a:link {
	color: #47F;
}

a:visited {
	color: #65B;
}

a:hover {
	text-decoration: none;
}

#menu {
	font-family: arial, helvetica, sans-serif;
	font-variant: small-caps;
	font-weight: bold;
	font-size: 1.1em;
	color: #BBC;
	position:absolute;
	left: 10px;
	top: 452px;
}

#ad1 {
	position:absolute;
	left: 400px;
	top: 380px;
}

.button {
	border-style: outset;
	border-width: 4px;
	background-color: #114;
	padding: 0.2em;
	margin: 0.5em 0.5em 0.5em -.8em;
	width: 11em;
}

.buttonclick {
	border-style: inset;
	border-width: 4px;
	background-color: #114;
	padding: 0.2em;
	margin: 0.5em 0.5em 0.5em -.8em;
	width: 11em;
}

.buttonin {
	border-style: outset;
	border-width: 4px;
	background-color: #114;
	padding: 0.2em;
	margin: 0.5em 0.5em 0.5em 0.2em;
	width: 10em;
}

.buttoninclick {
	border-style: inset;
	border-width: 4px;
	background-color: #114;
	padding: 0.2em;
	margin: 0.5em 0.5em 0.5em 0.2em;
	width: 10em;
}

.code {
	background-color: #FFF;
	font-family:"Courier New", Courier, monospace;
	color:#2E8B57;
	font-size:0.9em;
}

#toc {
	padding-left: 13em;
}

.in {
	padding-left: 2em;
}

#main {
	font-family: "times new roman," times, serif;
	font-size: 1em;
	color: #FFF;
	background-color: #000;
	padding-left: 16em;
}

.style1 {font-size: medium}
.style2 {color: #FFFFFF}