body {
	background: white;
	color: black;
	font-size: 11pt;
	font-family: 'Open Sans', sans-serif;
}

a {
	color: #0000ee;
}
a:visited {
	color: #551a8b;
}
p.cmd {
	font-family: monospace;
	margin-left: 2em;
}

span.code {
	font-family: monospace;
}
span.tip-tty {
	color: darkred;
}
span.tip-prog {
	color: darkblue;
}

div.title-line {
	padding: 1em;
	background: #ddd;
}
img.title-logo {
	margin-right: 3em;
	height: 200px;
	float: left;
}
p.title {
	font-size: 5em;
	font-weight: bold;
	margin: 0.3em 0;
}
p.subtitle {
	font-size: 2.5em;
	margin: 0.5em 0 0.1em;
}
h1 {
	border-bottom: 1px solid darkgray;
	padding-bottom: 0.4em;
	margin-top: 1.2em;
}

td.printfmt {
	width: 2em;
	padding-left: 1em;
	font-family: monospace;
}

p.menu a {
	text-decoration: none;
	padding-left: 0.5em;
	padding-right: 0.5em;
}