html, body, .except-footer {
	margin: 0;
	padding: 0;
	height: 100%;
	line-height: 1.4;
}

.except-footer {
	height: auto;
	min-height: 100%;
}

.header {
	background: #95d66a;
	height: 150px;
}

.header img {
	display: block;
	margin: 0 auto;
	height: 150px;
}

nav {
	width: 100%;
	background: #f1a050;
	word-spacing: 0.5em;
	text-align: center;
	font-size: 16px;
	padding-bottom: 0.4em;
	padding-top: 0.4em;
	margin: 0px;
}

nav a {
	color: #000000;
	font-weight: bold;
	text-decoration: none;
	word-spacing: normal;
}

nav a:hover {
	color: #FF2222;
}

article {
	margin-top: 0px;
	padding: 0 1em;
	padding-bottom: 6.5em; /* 1.5em + height of footer */
	margin-left: auto;
	margin-right: auto;
	max-width: 860px;
}

article.nomargin {
	margin-top: 0px;
	padding: 0 1em;
	padding-bottom: 6.5em; /* 1.5em + height of footer */
	margin-left: 0;
	margin-right: 0;
	max-width: none;
}

article.nomargin h1, article.nomargin h2, article.nomargin h3, article.nomargin h4, article.nomargin h5, article.nomargin.nomargin h6, article.nomargin p, article.nomargin table, article.nomargin img, article.nomargin div, article.nomargin ul, article.nomargin ol {
	margin-left: auto;
	margin-right: auto;
	max-width: 860px;
}

h1 {
	font-size: 32px;
}

h1, h2, h3, h4, h5, h6 {
	font-weight: bold;
	font-family: sans-serif;
	color: #CF1111;
}

h1 > a, h2 > a, h3 > a {
	color: #CF1111;
    text-decoration: none;
}

h1 > a:hover, h2 > a:hover, h3 > a:hover {
    text-decoration: underline;
}

.screenshot {
	text-align: center;
	display: block;
	margin: 0 auto;
	max-width: 100%;
}

.footer {
	clear: both;
	position: relative;
	z-index: 10;
	height: 5.0em;
	margin-top: -5.0em;
	background-color: #CCCCCC;
	color: #444444;
	width: 100%;
}

.footer-left {
	padding-left: 1em;
	padding-right: 1em;
	text-align: left;
	vertical-align: middle;
}

.footer-right {
	padding-left: 1em;
	padding-right: 1em;
	text-align: right;
	vertical-align: middle;
}

.footer a {
	color: #444444;
	font-weight: bold;
	text-decoration: none;
}

/* mdocml */
table.head, table.foot { width: 100%; }
td.head-rtitle, td.foot-os { text-align: right; }
td.head-vol { text-align: center; }
table.foot td { width: 50%; }
table.head td { width: 33%; }
div.spacer { margin: 1em 0; }
.symb { font-family: monospace; }
.synopsis td { vertical-align: text-top; }
.Pp { margin: 1em; }

/* TODO: Only some man pages have their head/foot diplayed, disable this to be
   consistent. */
table.head, table.foot { display: none; }

/* Comparison tables */

table.comparison {
	background-color: #EEEEEE;
	margin-left: auto;
	margin-right: auto;
}

table.comparison tr th.category {
	padding: 0.25em;
	text-align: center;
	background-color: #E0E0E0;
}

table.comparison tr th {
	padding: 1em;
	text-align: center;
}

table.comparison tr td {
	padding: 1em;
	text-align: center;
}

table.big-comparison {
	background-color: #EEEEEE;
	margin-left: auto;
	margin-right: auto;
	font-size: 85%;
}

table.big-comparison tr th {
	padding-left: 0.1em;
	padding-right: 0.1em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	text-align: center;
}

table.big-comparison tr td {
	padding-left: 0.1em;
	padding-right: 0.1em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	text-align: center;
}

table.big-comparison tr.percentage td {
	vertical-align: top;
}

table.big-comparison tr th span.option {
	font-size: 16px;
	font-weight: bold;
	font-family: sans-serif;
	color: #CF1111;
}

table.big-comparison tr th span.option > a {
	color: #CF1111;
    text-decoration: none;
}

table.big-comparison tr th span.option > a:hover {
    text-decoration: underline;
}

.score {
	font-size: 125%;
}
.score > a {
	color: #000030;
}
.good {
	background-color: #80FF80;
}

.good-1, .missing_optional {
	background-color: #40BF80;
}

.good-2, .outside_libc {
	background-color: #80BF80;
}

.good-3 {
	background-color: #80BF40;
}

.good-4 {
	background-color: #40BF40;
}

.good-5 {
	background-color: #409F40;
}

.bad {
	background-color: #FF8080;
}

.bad-1, .compile_error, .pollution {
	background-color: #FF8080;
}

.bad-2, .undefined, .missing_header {
	background-color: #FF6080;
}

.bad-3, .incompatible {
	background-color: #FF8060;
}

.bad-4, .undeclared {
	background-color: #FF6060;
}

.bad-5, .unknown_type {
	background-color: #BF6060;
}

.unknown {
	background-color: #8080FF;
}

.unknown-1 {
	background-color: #8080BF;
}

.unknown-2 {
	background-color: #6080BF;
}

.unknown-3 {
	background-color: #8060BF;
}

.unknown-4 {
	background-color: #6060BF;
}

.unknown-5 {
	background-color: #60609F;
}

.unrated, .none {
	background-color: #D0D0D0;
}

.unrated-1 {
	background-color: #C0D0D0;
}

.unrated-2 {
	background-color: #D0C0D0;
}

.unrated-3 {
	background-color: #D0D0C0;
}

.unrated-4 {
	background-color: #C0C0D0;
}

.unrated-5 {
	background-color: #D0C0C0;
}

.extension {
	background-color: #FFD070;
}

.previous_posix {
	background-color: #F0E060;
}

@media (min-width: 860px) {
	pre {
		margin-left: 4em;
	}
}

pre {
	white-space: pre-wrap;
}