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

.errorbox {
	background-color: #fee !important;
	background-image: none !important;
}

p.downloadlink, p.tutoriallink {
	margin-top: 0.5em;
	padding-top: 0.5ex;
	padding-bottom: 0;
	margin-bottom: 0;
	border-top: 1px solid #ddd;
}

a:hover {
	text-decoration: none;
	background: transparent url(/img/scrolling.gif) repeat-x bottom;
}

a img {
	border-width: 0px;
}

input[type='submit'] {
	border: 2px ridge #ddd;
	background: #ffe;
	color: black;
	cursor: pointer;
}

#contentholder {
	position: absolute;
	top: 6em;
	left: 11em;
	right: 21ex;
	text-align: center;
	z-index: 2;
}

#content {
	text-align: justify;
	padding-left: 1ex;
	padding-right: 1ex;
	width: 70ex;
	max-width: 100%;
	margin-left: auto;
	margin-right: auto;
}

#searchbox {
	text-align: right;

	position: absolute;
	top: 1em;
	right: 2em;
	width: 25em;
	z-index: 7;
	font-size: smaller;
}

#headline {
	background-color: #eee;
	background-image: url(/img/lucht.jpg);
	background-repeat: no-repeat;
	background-position: bottom right;
	color: black;

	text-align: left;

	border-bottom: 2px solid #ddd;

	position: absolute;
	top: 0;
	left: 0;
	height: 6em;
	max-height: 274px;

	width: 100%;
	z-index: 5;
}

#headline h1 {
	padding: 0.5ex;
	margin: 0;
	font-size: 200%;
}

dt {
	border: 1px solid #ddd;

	background-color: #fff;
	background-repeat: no-repeat;
	background-position: top left;

	padding: 0.3ex;
	padding-left: 2ex;
	margin-bottom: 0;
	margin-top: 1em;
	font-size: larger;

	color: #a36800;
}

dd {
	margin-left: 2ex;
	margin-top: 0;

	border-left: 1px solid #ddd;
	padding: 0.5ex;

	background: white;
	color: black;
}


#rightbar {
	position: fixed;
	top: 7em;
	right: 0;
	width: 20ex;
	font-size: smaller;

	z-index: 5;
}

#rightbar div {
	margin-bottom: 0.5ex;
	padding-left: 0.5ex;
	border: 1px solid #ddd;
}

#h2tocholder {
	padding-left: 0 !important;
	border: none !important;
}

#h2tocholder ol {
	list-style-type: none;

	margin-left: 0;
	padding-top: 0.2ex;
	padding-left: 0.2ex;
	padding-right: 1ex;
}

#rightbar #lastmod {
	font-size: smaller;
}

/* Main menu */

#left-hand-navigation
{
	position: absolute;
	left: 0;
	z-index: 6;
	top: 6.5em;
}

#menu
{
	padding:0;
	margin-bottom: 5px;
	width: 11em;
}

#menu ol
{
	list-style: none;
	margin: 0;
	padding: 0;
	border: 0;
}

#menu li
{
	display: inline;
}

#menu ol.level-one a,
#menu ol.level-one span
{
	display: block;
	border: 1px solid #DADADA;
	padding: 2px 10px 2px 4px;
	margin: 0 0 4px 1.4em;
	width: 13em !important;
	width /**/: 14.4em;
	font-family: Verdana, Geneva, "Bitstream Vera Sans", Helvetica, sans-serif;
	font-size: 64%;
	color: #4B5A6A;
	background-image: url(/img/nav-off-bg.png);
	background-position: top right;
	background-repeat: no-repeat;
	background-color:#F5F5F5;
	text-transform: uppercase
}

/*\*//*/
#menu ol.level-one a
{
	width: 14.4em !important;
}
/**/ 

#menu ol.level-one a:hover
{
	color:black;
	text-decoration:underline;
}

#menu ol.level-one a.selected,
#menu ol.level-one span.selected
{
	background-image: url(/img/nav-on-bg.png);
	background-color: #FFFFFF;
	color:black;
	border-left:3px solid #efc91d;
}

#menu ol.level-one span
{
	font-style:italic;
}

#menu ol.level-two a, #menu ol.level-two span
{

	background-image: none;
	background-color: transparent;
	display: block;
	border: 0;
	border-bottom: 1px solid #DDD;
	padding: 0.1em;
	margin: 0 3em 0px 1.5em;
	color: #3C4B6B;
	background: none;
	width: 11em !important;
	width /**/: 11.2em;  
	font-size: 77%;
	text-transform: none;
}

#menu ol.level-two a:hover
{
	text-decoration: underline;
	color: black;
}

#menu ol.level-two li.selected span.selected
{
	background-image: none;
	background-color: #FFFFFF;
	color:#000;
	border-left:0;
	font-style:italic;
}

#menu li ol
{
	margin-bottom: 7px
}

#menu a
{
	text-decoration: none;
}


/* End of main menu */

.intro, .errormsg {
	border: 1px solid #ddd;
	background-color: #fff;
	background-repeat: no-repeat;
	background-position: top left;

	color: black;
	margin-bottom: 1ex;
	margin-top: 1ex;
	padding: 1ex;
}

.errormsg {
	border-color: #f00 !important;
	border-width: 2px;
	background-color: #fee !important;
	color: black !important;
}

h2 {
	border: 1px solid #ddd;

	background-color: #fff;
	background-repeat: no-repeat;
	background-position: top left;

	padding: 0.3ex;
	padding-left: 2ex;
	margin-bottom: 0;
	font-size: large;

	color: #a36800;
}

h2 + div {
	margin-left: 2ex;
	margin-top: 0;
	padding: 1ex;
	border-bottom: 1px solid #ddd;
	border-left: 1px solid #ddd;

	background: white;
	color: black;
}

h2 + div p, div.intro p, h2 + div dd {
	line-height: 150%;
}

h2 + div > p {
	margin-top: 0;
}


h3 {
	font-size: larger;
	font-weight: bold;
	margin-top: 1em;
	margin-bottom: 0.2em;
	border-bottom: 1px solid #ddd;
}

body.tutorial {
	width: 66ex;
	padding-left: 2ex;
	padding-right: 2ex;
	margin-left: auto;
	margin-right: auto;
	border-right: 1px solid #ddd;
}

body.tutorial h1 {
	border-left: 2px solid #ddd;
	border-bottom: 2px solid #ddd;
	padding: 1ex;
	background: #eee;
}

body.tutorial #toc {
	border-left: 1px solid #ddd;
}

ol li, ul li {
	margin-top: 1ex;
}

hr.imgpusher, hr.floatpusher {
	clear: both;
	height: 0;
	width: 100%;
	visibility: hidden;
}

.hidden {
	visibility: hidden;
	display: none;
	height: 0;
	width: 0;
}


/* UvA Spul */

.uva dd, .uva td { background-image: none; }

.uva .swok		{ background-color: #cadfb9; }
.uva .pass		{ background-color: #dce7cc; }
.uva .unknown	{ background-color: #f2f1ad; }
.uva .her		{ background-color: #f0cec0; }
.uva .isok		{ background-color: #d9dbe0; }
.uva .nothing	{ background-color: #ffffff; }

.uva .four  { width: 20%; }
.uva .eight { width: 40%; }

#legend {
	float: right;
	margin-top: 0;
	font-size: smaller;
	padding-left: 1ex;
}

/* Einde UvA spul */

img.gwcharacter, img.news {
	float: right;
	margin-left: 0.5ex;
}

code.block, code.php, code.vim {
	white-space: pre;
	display: block;
	border-left: 2px solid #ddd;
	padding-left: 0.5ex;
	margin-top: 1ex;
	margin-bottom: 1ex;
	font-size: smaller;
}

#screenshot {
	float: right;
	margin-left: 1ex;
}

div#copyright {
	position: fixed;
	width: 18ex;
	right: 0;
	bottom: 0;

	font-size: xx-small;
	text-align: right;
	color: #ddd;
	padding: 0.2ex;
}

div#copyright a {
	color: inherit;
	text-decoration: none;
}

img.kaartje {
	float: right;
	margin-left: 0.5ex;
	margin-bottom: 0.5ex;
	border: 1px solid #ddd;
}

table.peers .Offline {
	color: #ddd;
}

th {
	text-align: left;
}

.newsnav {
	border-top: 1px solid white;
	padding-top: 1ex;
	padding-bottom: 0;
	margin-bottom: 0;
	text-align: center;
	font-size: smaller;
}

.newsnav .previtem {
	float: left;
}

.newsnav .nextitem {
	float: right;
}

/* Zenderoverzicht TV */
table.overzicht {
	margin: 0;
	width: 100%;
	border: 1px solid #5EB6D3;
	font-size: 8pt;
	border-collapse: collapse;
	empty-cells: show;
}

.overzicht td, .overzicht th {
	border-left: 1px solid #5EB6D3;
	border-right: 1px solid #5EB6D3;
	padding: 0 12pt 0 6pt;
}

.overzicht th {
	font-size: larger;
	color: white;
	background-color: #0088B5;
	padding: 0.5ex;

	border-left:  1px dotted white;
	border-right: 1px dotted white;
}

/* Einde zenderoverzicht TV */

/* Xapian results */

.xapian {
	list-style: none;
	padding-left: 0;
}
	
.xapian .percent {
	color: green;
}

.xapian .url {
	color: green;
	font-size: smaller;
}

.xapian li {
	border: 1px solid #eee;
	padding: 0.5ex 1ex;
}

/* End of xapian results */

img#fotosybren {
	border-top: 1px solid white;
	border-left: 1px solid white;

	float: right;
	margin: 1ex 0 1ex 1ex;
}

fieldset {
	border: none;
}