html {
	color: #e0e0e0;
	background: #222 url('/images/labs.png') no-repeat 100% 96px;
}
code {
	color: #a0a0a0;
	font-size: 98%;
}
a {
	color: #bb8888;
}
a:hover {
	color: #ffeeee;
}
p.legal-notice {
	margin: 1.5em 3em 1.5em 3em;
	padding: 1em 1em 1em 1em;
	border: solid #352727 1px;
	background-color: #201111;
	font-size: 85%;
}
p.code-block {
	margin: 1.5em 2.5em 1.5em 2.5em;
	padding: 1em 1em 1em 1em;
	border: solid #352727 1px;
	background-color: #201111;
}
p.code-block code {
	color: #fff;
	font-size: 100%;
}
div#header {
	background-image: url('/images/logo-labs.png');
}
div#services li#srv-labs a {
	background-position: 0 0 !important;
}
div#services li#srv-labs a:hover {
	background-position: 0 -144px !important;
}
div#subnav li ul li a {
	background-color: #352727;
}
div#subnav li ul li ul li a {
	background-color: #201111;
}

div#nav li#nav-home { width: 55px; }
div#nav li#nav-home > a { background-image: url('/images/nav/nav-home.png'); }

div#nav li#nav-eregansu { width: 84px; }
div#nav li#nav-eregansu > a { background-image: url('/images/nav/nav-eregansu.png'); }

div#nav li#nav-pathfinder { width: 95px; }
div#nav li#nav-pathfinder > a { background-image: url('/images/nav/nav-pathfinder.png'); }

div#nav li#nav-kernelsource { width: 162px; }
div#nav li#nav-kernelsource > a { background-image: url('/images/nav/nav-kernelsource.png'); }

p#sponsor {
	margin: 0 !important;
	padding: 0 0 4px 0 !important;
	text-align: center;
	background-color: #000;
}
p#sponsor a, p#sponsor img {
	margin: 0 !important;
	padding: 0 !important;
	border: none !important;
}

body.home div#nav li#nav-home > a { background-position: -486px; }
body.home div#nav li#nav-home > a:hover { background-position: -324px; }

body.pathfinder div#nav li#nav-pathfinder > a { background-position: -486px; }
body.pathfinder div#nav li#nav-pathfinder > a:hover { background-position: -324px; }

body.kernelsource div#nav li#nav-kernelsource > a { background-position: -486px; }
body.kernelsource div#nav li#nav-kernelsource > a:hover { background-position: -324px; }

body.overview div#subnav li#subnav-overview > a { background-color: #a20400; }
body.downloads div#subnav li#subnav-downloads > a { background-color: #a20400; }
body.contributors div#subnav li#subnav-contributors > a { background-color: #a20400; }

body.kernels div#subnav li#subnav-kernels > a { background-color: #a20400; }
body.kernels-cmu-mach div#subnav li#subnav-kernels-cmu-mach > a { background-color: #a20400; }
body.kernels-freedos div#subnav li#subnav-kernels-freedos > a { background-color: #a20400; }
body.kernels-mklinux div#subnav li#subnav-kernels-mklinux > a { background-color: #a20400; }
body.kernels-osf-mach div#subnav li#subnav-kernels-osf-mach > a { background-color: #a20400; }
body.kernels-gnu-mach div#subnav li#subnav-kernels-gnu-mach > a { background-color: #a20400; }

body.software div#subnav li#subnav-software > a { background-color: #a20400; }
body.software-4dos div#subnav li#subnav-software-4dos > a { background-color: #a20400; }
body.software-freegem-xm div#subnav li#subnav-software-freegem-xm > a { background-color: #a20400; }
body.software-obp div#subnav li#subnav-software-obp > a { background-color: #a20400; }

body.svn div#subnav li#subnav-svn > a { background-color: #a20400; }
body.doc-intro div#subnav li#subnav-doc-intro > a { background-color: #a20400; }
body.doc-install div#subnav li#subnav-doc-install > a { background-color: #a20400; }
body.doc-funcref div#subnav li#subnav-doc-funcref > a { background-color: #a20400; }

body.tiger div#subnav li#subnav-tiger > a { background-color: #a20400; }
body.rel-10-4-8-x86 div#subnav li#subnav-10-4-8-x86 > a { background-color: #a20400; }