/* This is the basic CSS file used for all our websites. It contains basic elements
 * found on all pages, with the aim to create a consistent style. Site-specific additions (e.g.
 * special styles for the Webmanager) are included as separate files. */
/* $Id: bceb4b3 - 2015-06-08 10:32:55 +0000 Richard de Vroede$ */

html {
	width: auto;
	max-width: 1600px;
}

body {
	background-color: white;	/* Set this just to be sure */
	font-size: 9pt;			/* Basic font size */
	font-family: sans-serif;	/* Basic font family */
	line-height: 150%;		/* Slightly larger than the usual 125%, for better legibility */
	margin: 0px;
	padding: 0px 8% 0px 0px;
	max-width: 1500px;		/* Put a limit on how wide the page can stretch */
	width: auto;			/* Include this to activate max-width on IE */
}

a {
	color: #f68921;
	text-decoration: none;
}

a img {
	border: none;			/* Borders around linked images are really 1997 */
}

h1, h2, h3, h4 {
	color: #808080;
	font-weight: normal;
}

h1, div#nav h2 {			/* Works for the manager and the manuals */
	font-size: 14pt;
	margin-bottom: 30px;
	margin-top: 0em;
}

h2 {
	font-size: 12pt;		/* Works for the manager and the manuals */
}

p {
	margin-left: 0.75em;		/* Slight indent on both sides */
	margin-right: 0.75em;
}

table {
	margin-top: 1em;
	margin-bottom: 1em;
}

td {
	vertical-align: top;
}

/* ALIGNMENT OVERRIDES FOR TABLE CELLS */

td.c {
	text-align: center;
}

td.r {
	text-align: right;
}


/* STRUCTURAL DIVS */

div#header {
	margin-top: 2em;
	margin-left: 1.5%;
	margin-bottom: 3em;
}

div#lang {
	text-align: right;
	position: absolute;	/* This used to be a float, but that didn't work too well in &^&*%&*%^ IE. */
	right: 8%;
}

div#content {
	padding: 0em 0px 20px 10em;
	margin-top: 2em;
	height: auto;
	min-height: 40em;		/* Make sure the slogan is always the last element on the page */
	margin-left: 7%;
}

div#footer {
	clear: both;
	text-align: right;
	padding-bottom: 2em;		/* Leave some whitespace between graphic and window frame */
}

div#footer img {
	position: absolute;
	right: 7%;			/* Push outside of the margin */
	padding-bottom: 1em;		/* Keep out of the margin */
}

div#nav ul {
	margin: 0px;
	padding: 0px;
	list-style-type: none;
}

div#nav li {
	display: block;
	padding: 0px;
	margin: 0px;
}


/* DISPLAY TABLE */

table.display {
	background-color: #e8e8e8;
	border: 3px solid #e8e8e8;
	border-spacing: 1px;
	margin: 0.5em 0.75em 1.5em 0.75em;
	padding: 1px;
	width: 98%;				/* Accommondate the 0.75em of padding on either side */
        -moz-border-radius-topleft: 10px;
        -moz-border-radius-topright: 10px;
        -khtml-border-radius-topleft: 10px;
        -khtml-border-radius-topright: 10px;
        -webkit-border-top-left-radius: 10px;
        -webkit-border-top-right-radius: 10px;
}

table.display thead {
	background-color: white;
        -moz-border-radius-topleft: 3px;
        -moz-border-radius-topright: 3px;
        -khtml-border-radius-topleft: 3px;
        -khtml-border-radius-topright: 3px;
        -webkit-border-top-left-radius: 3px;
        -webkit-border-top-right-radius: 3px;
}

table.display thead td {
	border-bottom: 1px solid #e0e0e0;
	font-weight: bold;
	color: #808080;
	padding: 0.2em 0.5em 0.2em 0.5em;
}

table.display tbody {
	background-color: #f0f0f0;
}

table.display tbody td {
	padding: 0px 0.5em 0px 0.5em;
	margin: 0px;
}

table.display tr.alt {
	background-color: white;		/* Alternate row coloring */
}

table table.display {
	margin: 0px;		/* Override margins etc if the display table is contained within another table */
	width: auto;
}
