/***************************************************************************/
/* General rules */

body {
	margin: 0em;
/*	border-bottom: 0.5em #004850 solid; */
	font-family: Constantia, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
	font-size: 76%;
	color: #002828;
	background-color: #fffffc;
}

div.main ul li {
	list-style-type: square;
}


/***************************************************************************/
/* Headers */

h1,
div.main h2 {
	font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
}

div.main h3,
div.main h4,
div.main h5,
div.main h6 {
/*    font-family: Constantia, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;*/
	font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
/*    font-family: Corbel, "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", "Bitstream Vera Sans", "Liberation Sans", Verdana, "Verdana Ref", sans-serif;*/
/*    font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;	*/
}

h1 {
	margin-top: 0em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	padding-left: 0.6em;
	padding-right: 0.6em;
	font-size: 2.5em;
	letter-spacing: 0.25em;
	word-spacing: 0.5em;
	color: #fffff2;
	background-color: #004850;
}

div.main h2 {
	margin-top: 0em;
	margin-bottom: 0em;
	padding-top: 0.3em;
	padding-bottom: 0.3em;
	padding-left: 0.6em;
	padding-right: 0.6em;
	font-size: 1.5em;
	letter-spacing: 0.25em;
	word-spacing: 0.5em;
	color: #fffff2;
	background-color: #005058;
}

div.main h3 {
	border-bottom: 0.08em #004848 dotted;
}

div.main h4 {
	display: inline;
	border-bottom: 0.08em #004848 dotted;
	font-size: 1.05em;
}

div.main h5 {
	font-size: 0.9em;
}

div.main h5,
div.main h6 {
	margin-bottom: -0.5em;
}


/***************************************************************************/
/* Site navigation */

div.nav {
	margin-top: -0.5em;
	font-size: 1.5em;
}

div.nav ul {
	margin-bottom: 0.6em;
	padding-top: 0.2em;
	padding-left: 2em;
}

div.nav ul li {
	padding-right: 1.5em;
	display: inline;
	list-style-type: none;
}

div.nav ul li a {
	padding-top: 0.2em;
	padding-left: 0.5em;
	padding-right: 0.7em;
}

div.nav ul li a:link,
div.nav ul li a:visited {
	border-top: 0.15em #fffffc solid;
	border-left: 0.15em #fffffc solid;
	text-decoration: none;
	color: #002828;
}

div.nav ul li a:hover {
	border-top: 0.15em #a00 solid;
	border-left: 0.15em #a00 solid;
}

div.nav ul li a.here,
div.nav ul li a.here:link,
div.nav ul li a.here:visited {
	border-top: 0.15em #004850 solid;
	border-left: 0.15em #004850 solid;
}

div.nav ul li a.here:hover {
	border-top: 0.15em #004850 solid;
	border-left: 0.15em #004850 solid;
}


/***************************************************************************/
/* Main content area */

div.main {
	margin-left: 1.2em;
	margin-bottom: 1em;
	border-top: 0.2em #005058 solid;
	border-left: 0.2em #005058 solid;
	padding-top: 0em;
	padding-left: 1em;
	padding-right: 1em;
	padding-bottom: 0.6em;
	max-width: 50em;
	font-size: 1.1em;
}

div.main .clear {
	margin: 0em;
	padding: 0em;
	clear: both;
}


/***************************************************************************/
/* Table of contents */

div.main div.toc {
	margin: 0em;
	border-left: 1em #fffffc solid;
	border-right: 0.2em #005850 solid;
	padding-bottom: 0.5em;
	float: right;
	color: #fffff2;
	background-color: #fffffc;
}

div.main div.toc ul {
	margin-top: 0em;
	margin-bottom: 0em;
	border-top: 0.08em #fffffc dotted;
	padding-top: 0.5em;
	padding-left: 1em;
	padding-right: 1em;
	padding-bottom: 1em;
	background-color: #005058;
	line-height: 1.75em;
}

div.main div.toc ul li {
	list-style-type: none;
}

div.main div.toc ul li a {
	font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
}

div.main div.toc ul li a:link,
div.main div.toc ul li a:hover {
	border-bottom: 1px #fffff2 dotted;
	text-decoration: none;
	color: #fffff2;
}

div.main div.toc ul li a:visited {
	border-bottom: 1px #fffff2 dotted;
	text-decoration: none;
	color: #ffff00;
}


/***************************************************************************/
/* Links */

div.main a:link {
	text-decoration: underline;
/*    color: #a00;*/
	color: #521;
}

div.main a:hover {
	text-decoration: underline;
	color: #a00;
}

div.main a:visited {
	color: #148;
}


/***************************************************************************/
/* Code blocks and monospace */

div.code {
	display: block;
	margin-left: 0.75em;
	border-top: 0.08em #002828 dotted;
	border-left: 0.7em #004048 solid;
	border-bottom: 0.08em #002828 dotted;
	padding-top: 0em;
	padding-left: 1em;
	padding-right: 1em;
	padding-bottom: 0em;
	line-height: 1.5em;
/*    background-color: #e0f8ff;*/
/*    background-color: #d0e8ff;*/
	background-color: #ffffec;
}

div.code pre {
	width: 98%;
	margin-top: 0.3em;
	margin-bottom: 0.3em;
}

code {
	font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
	font-size: 1.1em;
}

tt {
	font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
	font-size: 0.9em;
}


/***************************************************************************/
/* Portrait */

div.portrait {
	margin-left: 1em;
	margin-bottom: 2em;
	border-left: 1em #fffffc solid;
	padding-top: 1em;
	padding-left: 0em;
	padding-right: 0em;
	padding-bottom: 0em;
	float: right;
}

div.portrait img {
	background-color: #fffffc;
	width: 200px;
	height: 200px;
	margin: 0em;
	border: 1px #005058 solid;
	padding: 3px;
}


/***************************************************************************/
/* Publications list */

div.main ol.pubs li {
	margin-bottom: 1em;
}

div.main ol.pubs li strong {
	font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;	
/*    font-family: Cambria, "Hoefler Text", Utopia, "Liberation Serif", "Nimbus Roman No9 L Regular", Times, "Times New Roman", serif;*/
/*    font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;*/
/*    font-family: Corbel, "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", "Bitstream Vera Sans", "Liberation Sans", Verdana, "Verdana Ref", sans-serif;*/
	font-size: 1.05em;
}


/***************************************************************************/
/* Definition list (table style for list of projects) */

div.main dl.def-table dt {
	margin: 0em;
	border-top: 0.08em dotted #005058;
	padding-top: 0.5em;
	padding-right: 0em;
	width: 30%;
	float: left;
	font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;	
/*    font-size: 1.05em;*/
	font-weight: bold;
}

div.main dl.def-table dd {
	margin: 0em;
	border-top: 0.08em dotted #005058;
	padding: 0.5em 0.5em 2em 0.5em;
	width: 67%;
	float: left;
}

/***************************************************************************/
/* Definition list (table style for list of news articles) */

div.main dl.def-news {
	padding: 0em;
}

div.main dl.def-news dt {
	width: 10em;
	font-style: italic;
}

div.main dl.def-news dd {
	margin-left: 10em;
	padding: 0em 0em 0.5em 0.5em;
	position: relative;
	left: 0em;
	top: -1.45em;
	font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;	
/*    font-size: 1.05em;*/
	font-weight: bold;
}


/***************************************************************************/
/* Font stacks */

.font-times {
	font-family: Cambria, "Hoefler Text", Utopia, "Liberation Serif", "Nimbus Roman No9 L Regular", Times, "Times New Roman", serif;
}

.font-georgia {
	font-family: Constantia, "Lucida Bright", Lucidabright, "Lucida Serif", Lucida, "DejaVu Serif", "Bitstream Vera Serif", "Liberation Serif", Georgia, serif;
}

.font-garamond {
	font-family: "Palatino Linotype", Palatino, Palladio, "URW Palladio L", "Book Antiqua", Baskerville, "Bookman Old Style", "Bitstream Charter", "Nimbus Roman No9 L", Garamond, "Apple Garamond", "ITC Garamond Narrow", "New Century Schoolbook", "Century Schoolbook", "Century Schoolbook L", Georgia, serif;
}

.font-helvetica {
	font-family: Frutiger, "Frutiger Linotype", Univers, Calibri, "Gill Sans", "Gill Sans MT", "Myriad Pro", Myriad, "DejaVu Sans Condensed", "Liberation Sans", "Nimbus Sans L", Tahoma, Geneva, "Helvetica Neue", Helvetica, Arial, sans-serif;	
}

.font-monospace {
	font-family: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
}

.font-verdana {
	font-family: Corbel, "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", "DejaVu Sans", "Bitstream Vera Sans", "Liberation Sans", Verdana, "Verdana Ref", sans-serif;
}

.font-trebuchet {
	font-family: "Segoe UI", Candara, "Bitstream Vera Sans", "DejaVu Sans", "Bitstream Vera Sans", "Trebuchet MS", Verdana, "Verdana Ref", sans-serif;
}

.font-impact {
	font-family: Impact, Haettenschweiler, "Franklin Gothic Bold", Charcoal, "Helvetica Inserat", "Bitstream Vera Sans Bold", "Arial Black", sans-serif;
}