body
{
	background-color: white;
	color: black;
}

#logobox a, #menubar
{
	display: none;
}

.header
{
	background-color: #20619C;
	text-indent: 30px;
	padding: .2em;
	margin-left: -30px;
	color: white;
}

.header a
{
	color: white;
}


h1.header, .header h1
{
	font-size: 1em;
	margin: 0px;
}

.header h2
{
	font-size: .9em;
	margin: 0px;
}

pre
{
	border: dashed;
	font-size: 12px;
	padding: 4px;
	margin-left: 2.5em;
}

.journalentry, .commitentry
{
	margin-left: 30px;
	margin-bottom: 1em;
}

em
{
	text-decoration: none;
	font-weight: bold;
}

.interactivetext
{
	font-weight: bold;
}