a:link {
	background-color: transparent;
	color: #0000E0;
	text-decoration: none;
}
a:visited {
	background-color: transparent;
	color: #202080;
	text-decoration: none;
}
a:active {
	background-color: transparent;
	color: #A000A0;
	text-decoration: none;
}
a:hover {
	background-color: transparent;
	color: #0000FF;
	text-decoration: underline;
}
body {
	background-color: #F0F0FF;
	color: #000000;
	margin: 0;
	padding: 0;
}
li {
	padding-bottom: 0.2em
}
.commands {
	background-color: #E0E0E0;
	border: solid 1px #999999;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding: .5em 1em
}
.green { color: #00BF00 }
.panel {
	background-color: #EEEEEE;
	border: solid 1px #999999;
	padding: .5em 1em
}
.red { color: #BF0000 }
.sourcecode {
	background-color: #FFFFF0;
	border: solid 1px #999999;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding: .5em 1em
}