/*
The cleverer parts of this stylesheet came from
The Layout Reservoir - well worth a look.
http://www.bluerobot.com/web/layouts/
*/

body {
	background-color: #FFFFFF;
	margin: 20px;
	padding: 0;
	font-family: sans-serif;
	color: #000000;
}

a:link, a:active, a:visited {
	color:#004433;
	text-decoration:none;
}

a:hover, a:visited:hover {
	text-decoration: underline;
}

a img {
	border: 0;
}

/* logo */
#logo {
	margin: 7px;
	margin-bottom: 10px;
}

/* titlebar */
#titlebar {
	padding: 2px;
	padding-left: 5px;
	background-color: #E0CEB5;
	color: #004433;
	font-weight: bold;
	font-size: 127%;
}


/* recent posts menu */
#menu {
	position: relative;
	top: 0;
	left: 0;
	width: 160px;
	background-color: #F9ECCD;
	padding-top: 15px;
	padding-bottom: 15px;
}

#menu h1 {
	background-color: #FFFFFF;
	margin: 0;
	padding: 2px 2px 2px 5px;;
	margin-right: 15px;
	margin-bottom: 5px;
	border: 0;
	color: #004433;
	font-size: 100%;
}

#menu ul {
	list-style-type: none;
	margin: 0 0 0 15px;
	padding: 0;
}

#menu li {
	line-height: 11px;
	padding-bottom: 5px;
}

#menu li a {
	font-weight: bold;
}


/* content area */
#content {
	position: absolute;
	top: 120px;
	left: 180px;
	background-color: white;
}

#content h1 {
	font-size: 100%;
	font-weight: bold;
	margin-top: 0;
}


/* syntax area */
div.syntax a {
	font-family: monospace;
	color: #000000;
	text-decoration:underline;
}

/* view diff */
table.diff td
{
	text-align: right;
	padding-left: 3px;
	padding-right: 3px;
	font-size: 8pt;
}

table.diff td.code {
	text-align: left;
	font-family: 'Courier New', Courier, monospace; 
	font-weight: normal;
}

table.diff td.code pre {
	margin: 0;
	padding: 0;
}

table.diff tr.new {
	background: #F9ECCD;
}
table.diff tr.old {
	background: #E0CEB5;
}
table.diff tr.hidenew {
	display:none;
}
table.diff tr.hideold {
	display:none;
}


/* unknown */
a.code {
	text-decoration:underline; 
	font-family:courier, fixed;
	font-weight:normal;}
a.code:link {color:#09c;}
a.code:visited {color:#07a;}
a.code:hover {text-decoration:underline;}

code { font-size:12px;width:98%;}

.codeedit {	font-size:12px;width:98%;}

.nav { margin: 0px 5px 0px 5px; }

