body {
	margin: 0 2em;
	padding: 0;
	background-color: white;
	color: black;
}
div.main {
	//margin: 2em;
}
h1 {
	margin: 0.5em 0 1em -2em;
	padding: 0.2em 2em;
	border-bottom: 2pt #0000cc solid;
}
h2 {
	margin: 1.5em 0 0 0;
	padding: 0.2em 0.5em;
	border-bottom: 2pt #9999ff solid;
	border-left: 12pt #9999ff solid;
}
h3 {
	margin: 1em 0 0 0;
	padding: 0.2em 0.5em;
	border-top: 1pt #ccccff dotted;
	border-bottom: 1pt #ccccff dotted;
	border-left: 4pt #9999ff solid;
}
p.figure {
	border: 1px gray solid;
	margin: 2em 3em;
	padding: 1em;
	background: white;
	text-align: center;
}
p.author {
	margin: 1em 4em 1em 4em;
	text-align: right;
}
p.navigation {
	margin: 0 -2em;
	padding: 0.5em;
	color: black;
	background-color: #cccccc;
	clear: both;
}
p.langsw {
	margin: 0 -2em;
	padding: 0.5em;
	color: black;
	background-color: #ddeeff;
	clear: both;
}
.commandline {
	padding: 0.3em 0.6em;
	font-family: monospace;
	background-color: #eeeeee;
	border-top: 1px silver solid;
	border-left: 1px silver solid;
	border-bottom: 1px #eeeeee solid;
	border-right: 1px #eeeeee solid;
}
.comment {
	color: gray;
}
.equation {
	margin: 1em 3em;
	vertical-align: middle;
}
.variable {
	font-style: italic;
}
.warning {
	color: #cc0000;
}

a:hover {
	background: #eeeeff;
}
p.navigation a:hover {
	background: #bbbbbb;
}
p.langsw a:hover {
	background: #ccddee;
}

/*
 * MEDIA-SPECIFIC STYLES
 */

@media print {

p.navigation, p.langsw {
	display: none;
}

.comment {
	color: #666666;
}

}