body {
	font-family: arial, helvetica, sans-serif;
	font-size:  small;
	font-weight: normal;
	margin-left: 0in;
	margin-right: 0in;
}

/* show underline on light blue links only on hover */
a {
	text-decoration: none;
	color: #6699ff;
}
a:hover {
	text-decoration: underline;
}

/* heading */
h3 {
	display: block;
	margin-top: 0em;
	margin-bottom: 1.25em;
	font-weight: bold;
	font-variant: small-caps;
	font-size: 125%;
}

/* subheading */
h4 {
	display: block;
	margin-top: 0em;
	margin-bottom: 1em;
	font-weight: bold;
	font-variant: small-caps;
	font-size: 100%;
}

/* emphasis */
b {
	font-weight: bold;
}

/* formatted code */
pre {
	display: block;
	white-space: pre;
	font-family: courier;
	font-size: 87.5%;
}

.banner {
	font-weight: normal;
	font-variant: small-caps;
	font-size: 400%;
	width: 100%;
	padding: 0px 0px 0px 5px;
	border-bottom: solid #6699ff 1px;
}
.banner a {
	color: #000000;
}
.banner a:hover {
	text-decoration: none;
	color: #000000;
}

.nav {
	font-size: x-small;
	font-weight: normal;
	background-color: #d4d4d4;

	padding: 2px 0px 2px 0px;
	margin: 0px;
}
.nav a:hover {
	text-decoration: none;
	color: #666666;
}
.nav td {
	padding-right: 20px;
	padding-left: 5px;
	text-indent: 1em;
}
.nav .section {
	width: 100%;
	text-indent: 0em;
	border-top: 0px;
	border-left: 0px;
	border-right: 0px;
	border-bottom: solid #aaaaaa 1px;
	padding-bottom: 0px;
	font-weight: bold;
	color: #777777;
}

.main {
	font-size: small;
	font-weight: normal;
	margin-left: 0.1in;
	margin-right: 0.25in;
}

.main table {
	font-size: small;
	font-weight: normal;
	margin-left: 0.1in;
	margin-right: 0.25in;
}

.date {
	font-weight: bold;
}

.arg {
	font-style: italic;
	font-family: courier;
}

.userinput {
	display: block;
	white-space: pre;
	font-family: courier;
	font-size: 87.5%;
	font-weight: bold;
}

.code {
	font-family: courier;
}

.code table {
	font-size: small;
}

/* block of code */
.codeblock {
	display: block;
	white-space: pre;
	font-family: courier;
	font-size: 87.5%;
	border: 1px solid #000000;
	padding: 1em;
	padding-top: 0em;
	margin: 1em;
	background-color: #cccccc;
	color: #000000;
}

.fakelink {
	color: #6699ff;
}

.hide {
	display:none
}