body {
	font-family: Verdana, Arial, Sans-Serif;;
	font-size: small;
	padding: 10px;
	margin : 0px;
	background-color: white;
}
#page {
	margin: 15px;
	padding: 10px;
	background-color: white;
	border: 1px solid gray;
}
h1 {
	font-family: 'Trebuchet MS', Verdana, Arial, Sans-Serif;
	font-size: 1.75em;
	padding: 0px;
	margin: 0px;
	border-bottom: 1px solid purple;
}
h2 {
	font-size: 1em;
}
code,
pre {
	font-size: 1em;
}
a {
	color: green;
}
a.ex {
	color: blue;
}
ul.menu {
	padding: 0px;
	margin : 0px;
	position: relative;
}
ul.menu li {
	list-style-type: none;
	padding: 0px;
	margin : 0px;
	text-align: left;
	position: relative;
}
ul.menu li.g {
	color: green;
	cursor: pointer;
	padding: 10px;
	float: left;
	position: relative;
}
ul.menu li.u span {
	border-bottom:1px dotted green;
}
ul.menu li.g li {
	color: black;
}
ul.menu li.g ul {
	display: none;
	padding: 4px;
	margin : 0px;
	border: 1px solid gray;
	background-color: white;
	position: absolute;
	left: 10px;
	top : 30px;
}
p {
	clear: both;
}
pre.code {
	border: 1px solid silver;
	border-left: 10px solid silver;
	padding-left: 10px;
	font-size: 1em;
	font-family: Courier;
	overflow: auto;
}
pre.code .cm {
	font-style: italic;
	color: blue;
}
pre.code .cd {
	font-style: italic;
	color: green;
}
pre.code .kw {
	font-weight: bold;
}
pre.code s,
pre.code .str {
	color: green;
	text-decoration: none;
}
#copyright {
	text-align: center;
	color: gray;
	font-style: italic;
	border-top: 1px solid lightgray;
	width: 80%;
	margin: auto;
	margin-top: 20px;
}
#copyright a {
	text-decoration: none;
}