body {
	background-color: navy;
	color: white;
	font-family: tahoma, verdana, arial, helvetica, sans-serif;
}

a:link {
	color: yellow;
}

a:visited {
	color: #ffcc33;
}

img {
	border: 0;
}

img.logo {
	float: left;
	margin-bottom: 1em;
}

.nav {
	font-size: smaller;
	margin-bottom: 0;
}

.az {
	text-align: center;
}

.current {
	font-weight: bold;
}

h1 {
	margin-top: 0;
	margin-bottom: 0;
	text-align: center;
}

h2.subtitle {
	margin-top: 0.5em;
	text-align: center;
}

pre {
	margin-left: 1em;
}

code {
	color: aqua;
	font-weight: bolder;
}

samp {
	color: #ff66ff;
	font-weight: bolder;
}

.bnf {
	color: lime;
	font-weight: bolder;
}

.copyright {
	font-size: smaller;
}

.footer {
	font-size: smaller;
	border-top: 2px solid white;
	padding-top: 1em;
}

table {
	border-top: 2px solid white;
	border-bottom: 2px solid white;
	border-left: none;
	border-right: none;
	width: 100%;
}

thead, tbody {
	border-top: 1px solid white;
	border-bottom: 1px solid white;
}

td, th {
	border-left: none;
	border-right: none;
	padding-right: 0.5em;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
}