/* Simple element styles */

a {
	/* color: #4b3e79; */
	color: #485dc5;
	text-decoration: none;
	}

a:hover {
	color: #ff0000;
	}
acronym {
	border-bottom: 1px dotted black;
}

html {
	font-size: 62.5%;	/* This sets 1em = 10px */
	}

body {
	font-size: 9pt;
	font-family: sans-serif;
	line-height: 150%;
	padding: 0px;
	margin: 0px;
	}

/* As a block elment; the <code> tag in a <p> gets defined later */
code {
	color: #A04000;
	display: block;
	margin: 0em 0em 1em 2em;
	}

h1 {
	border-bottom: 1px dashed #e0e0e0;
	color: #cc0000;
	font-size: 14pt;
	font-weight: normal;
	margin: 0em 0em 1em 0em;
	padding-bottom: 1em;
	}

h2 {
	border-bottom: 1px dashed #e0e0e0;
	padding-bottom: 0.5em;
	}

h2, h2 a {
	color: #df8d0a;
	clear: both;
	}

h2, h3 {
	clear: both;
	font-size: medium;
	font-weight: normal;
	margin-top: 0em;
	margin-bottom: 1em;
	padding-top: 1em;
	}

h3 {
	color: #808080;
	}

img {
	border: 0px;
	}

td { vertical-align: top } /* everything else is heresy */

p {
	margin-top: 0em;
	margin-bottom: 1em;
	max-width: 552px;	/* Same as div.column's width */
	}

p code, li code, h1 code, h2 code, h3 code {
	display: inline;
	margin: auto;
	}

code pre {			/* Stanza is a hack for IE6 */
	font-size: 1em;
	}

pre {
	background-color: #f0f0f0;
	margin: 1.2em 0em 1.2em 0em;
	padding: 0.8em;
	}

/* If a paragraph has a language, hyphenate it: */
p[lang], div[lang] p {
	-moz-hyphens: auto;
	-webkit-hyphens: auto;
	hyphens: auto;
}

/* End simple elements */

div.image {
	margin: 1.5em 0em 1.5em 0em;
	padding: 0.5em 0em 0em 0em;
	}

div.image img, div.display img {
	display: block;
	margin-bottom: 1em;
	}

div.image p, div.display p {
	color: gray;
	font-family: sans-serif;
	font-size: small;
	}

div.display {
	clear: both;
	border-bottom: 1px dashed #e0e0e0;
	margin-bottom: 1em;
	padding: 1em 0em 1em 0em;
	}

	div.display p {
		clear: both;
		}

/* Hoverable images, IE6 compatible
 * Each <a> element also needs an id, a stanza to specify its background
 * image and dimensions, and a :hover declaration. See a#header-name below. */
a.hoverimg {
	background-position: 0px 0px;
	background-repeat: no-repeat;
	display: block;
	border:  0px;
	margin:  0px;
	padding: 0px;
}
a#header-name {
	top:  0px;
	left: 0px;
	width: 180px;
	height: 40px;
	position: absolute;
	background-image: url('/style/name.png');
}
a#header-name:hover {
	background-position: 0px -40px;
}

/* COLUMNS.
 * Columns have widths divisible by 8, and a gutter of 24px.
 * column.two: 1128px;
 * column: 552px;
 * column.half: 264px;
 * column.quart: 120px
*/

div.column {
	float: left;
	margin: 0px 24px 0px 0px;
	text-align: justify;
	-webkit-hyphens: auto;
	-moz-hyphens: auto;
	hyphens: auto;
}
div.column p, div.column h3, div.column > img, div.column > table {		/* only apply to img's not embedded in e.g. a <p> */
	margin: 0px 0px 1.12em 0px;		/* put default margin of 1.12em below element, not above it */
	padding: 0px;
	width: auto;					/* do not use fixed width when embedded in a column */
}
div.column h2, div.column h3 {
	clear: none;					/* when embedded in a column, never clear */
}

div.column.two   { width: 1128px }
div.column       { width:  552px }
div.column.half  { width:  264px }
div.column.quart { width:  120px }

/* Images inside paragraphs are centered vertically; see keys on the mk61 page */
div.column img {
	vertical-align: middle;
}
div.column > img {
	vertical-align: auto;
}

/* A colset has no right margin; it piggybacks on the rightmost column's right margin */
div.colset {
	float: left;
	margin-right: 0px;
	width: 576px;
}
/* h2 children of a colset need a margin on the right */
div.colset > h2 {
	margin-right: 24px;
}

/*  Must come after column definition to reset the para margin to zero: */
div.box {
	background-color: #f0f0f0;
	padding: 1.5em;
	margin-bottom: 1.12em;
	}

	div.box p {
		margin: 0px;
		padding: 0px;
		}


/*=== Tables ===*/


table.display {
	border: 1px solid #808080;
	margin: 1em 0em 1em 0em;
	}

table.display thead {
	background-color: #CACBB5;
	text-align: center;
	}

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

table.display td, table.display th {
	padding: 2px;
	margin: 1px;
	}


/* Alfred 2010-03-12: table.plain doesn't seem to be _used_ anywhere:

table.plain {
	background-color: inherit;
	border: none;
	display: block;
	}

	table.plain td {
		padding: 0.5em 0em 0.5em 0em;
		vertical-align: top;
		}

	table.plain thead {
		background-color: white;
		padding: 0px;
		text-align: left;
		}

	table.plain tbody {
		background-color: white;
		}

		table.plain tbody td {
			border-top: 1px solid #dcdcdc;
			}

	table.plain h2 {
		margin: 0px;
		}
*/

/* Styles for floating boxes */

div.leftbox, div.rightbox {
	width: 240px;
	}

div.rightbox {
	clear: both;
	float: right;
	}

div.leftbox p {
	clear: none;
	}

/* Various and sundry */

div.scriptfile {
	border: 1px solid #dcdcdc;
	border-radius: 5px 5px 0px 0px;
	-moz-border-radius: 5px 5px 0px 0px;
	-webkit-border-radius: 5px 5px 0px 0px;
	clear: both;
	display: block;
	margin-top: 1em;
	margin-bottom: 1em;
	padding: 0em;
	overflow: auto;
	}

	div.scriptfile p {
		display: block;
		color: #808080;
		margin: 0px;
		padding: 0.4em 0.8em 0.4em 0.8em;
		}

	div.scriptfile pre {
		margin: 0px;
		}

	div.scriptfile code {
		display: block;
		margin: 0px;
		padding: 0px;
		}

/*=== Header ===*/

div#header {
	background-color: black;
	background-image: url(/style/gradient-dark.png);
	background-position: top;
	background-repeat: repeat-x;
	height: 40px;
	padding-left: 16em;
}

div#header div {
	background-color: #e0e0e0;
	background-image: url(/style/gradient-light.png);
	background-position: bottom;
	background-repeat: repeat-x;
	float: left;
	margin: 10px 1em 0px 0em;
	padding: 5px;
	padding-left: 1em;
	height: 20px;
	width: 11.5em;
	border-radius: 6px 6px 0px 0px;
	-moz-border-radius: 6px 6px 0px 0px;
}

div#header div p {
	margin: 0px;
}

div#header div p a {
	color: #cc0000;
	text-decoration: none;
}

/*=== Main ===*/

div#content {
	position: static;
	margin-left: 16em;
	padding: 2em;
	padding-left: 0em;
	left: 0em;
	}

/* Submenu, these are the grey menu strips on the top left of the page */

div#submenu {
	background-color: #f0f0f0;
	display: block;
	float: left;
	margin: 0em;
	padding: 2em 1em 2em 1em;
	position: relative;  /* Hack so that FF and */
	left: 1em;           /* IE position the same */
	text-align: right;
	width: 11em;
	/* -moz-border-radius: 0px 0px 6px 6px; Rounded bottom corners? */
	}

		div#submenu ul {
			padding: 0em;
			margin: 0em;
			}
		
			div#submenu ul li {
				list-style-type: none;
				padding: 0em;
				margin: 0.2em;
				}

/* Gallery. Lots of images on display. */

div.gallery {
	clear: both;
	}

	div.gallery img {
		display: inline;
		margin: 0.5em;
		}

/* Project boxes */

div.project {
    float: left;
    width: 21%;
    height: 10em;
    margin: 0% 1% 1% 0%;
	/*border: 1px solid #dcdcdc;*/
    background-color: #f0f0f0;
    padding: 1em;
    }

	div.project h2 {
		border: none;
    	margin: 0% 0% 1% 0%;
		padding: 0em;
    	}

		div.project h2 a {
			color: #df8d0a;
			text-decoration: none;
			font-weight: bold;
			}

.c { text-align: center }
.r { text-align: right }
.clear { clear: both }

div#footer {
	clear: both;
	margin: 3em 2em 0em 16em;
	padding: 1em 0em 1em 0em;
	border-top: 1px dashed #e0e0e0;
	overflow: auto;
}

/* stopcontact */
div#footer img {
	float:right;
}

p#commithash {
	color: #e0e0e0;
	font-size: 11px;
	margin: 0;
	padding: 0;
	width: auto;
}


/*
vim:ft=css:ts=4:sw=4:tw=120:fenc=utf8:ai:noet:nojs:nowrap
*/