body, h1, h2, h3, h4, h5, h6 {
	background-color: #F3F3F3;
	color: #000000;
	margin-left: 20px;
	margin-right: 5%;
	font-weight: normal;
}

h1,h2,h3,h4,h5,h6 {
	text-decoration: underline;
	margin-left: 30px;
	font-weight: bold;
}

p,ul,ol,table,li {
	margin-left: 40px;
	margin-bottom: 22px;
	margin-top: 22px;
}

a:link, a:active {
	color: #C30303;
	text-decoration: none;
	font-weight: bold;
}

a:visited {
	color: #33C333;
	text-decoration: none;
	font-weight: bold;
}

a:hover {
	color: #C3C3C3;
	background-color: #C30303;
	text-decoration: none;
	font-weight: bold;
}

.re { /* results from cmdline commands */
	font-family: Courier, Monospace;
	font-weight: normal;
	background-color: #00C000;
	color: #00009F;
	margin-left: 10%;
	margin-right: 25%;
}

.ex { /* examples */
	font-family: Courier, Monospace;
	font-weight: normal;
	background-color: #00F000;
	color: #00009F;
	margin-left: 10%;
	margin-right: 25%;
}

.ex2 { /* examples without background */
	font-family: courier, monospace;
	font-weight: normal;
	color: #00009f;
	margin-left: 10%;
	margin-right: 25%;
}

.warn { /* warnings */
	font-family: courier, monospace;
	font-weight: normal;
	background-color: #C30303;
	color: #C3C303;
	margin-left: 10%;
	margin-right: 25%;
}