div.main {
	margin: 20px 20px 20px 20px;
	clear: both;
}

div.section {
	color: black;
	background: #eee;
	margin: 0.2cm 1cm 0.2cm 1cm;
	padding: 0.4cm;
}

h2 {
	margin-top: 0;
}

img {
	border: 0;
}

div.picture {
	text-align: center;
}

body {
	background-color: #ffffff;
	color: #000000;
}

pre {
	padding: 0.5em;
	margin: 0.5em 10% 0.5em 10%;
	background-color: #dddddd;
	color: black;
}

pre.basic {
	background: black;
	color: #0f0;
}

h1.title {
	text-align: center;
	vertical-align: baseline;
	line-height: 64px;
}

TD.main {
	background-color: #eeeeee;
	color: black;
}

DIV.important {
	text-align: center;
	color: black;
	background-color: #f7a5a5;
	border-color: black;
	border-width: 1px;
	border-style: solid;
	padding: 4pt;
	margin: 2pt;
}

div.box {
	color: black;
	background-color: #ddd;
	border: 1px solid black;
	padding: 0 1em 0 1em;
	margin: 4pt;
}

div.box h3 {
	text-align: center;
}

@media screen {  /* hide from IE3 */ /* From W3C */
	div.section a:hover {
		color: black;
		background: #ffa;
	} 
	div.section div.picture a:hover {
		background: none;
	} 
}

div.header img {
	border: 1px solid white;
}
div.header img:hover {
	border: 1px solid blue;
}

div.header img.section-false {
	border-top: 2px solid white;
	border-bottom: 2px solid white;
	border-left: 0;
	border-right: 0;
}

div.header img.section-true {
	border-top: 2px solid #f84;
	border-bottom: 2px solid #f84;
	border-left: 0;
	border-right: 0;
}

div.header img.section-false:hover {
	border-top: 2px solid red;
	border-bottom: 2px solid red;
}

div.quote {
	width: 50%;
	border-top: 2px solid #888;
	border-bottom: 2px solid #888;
	margin: 1cm auto 1cm auto;
	color: black;
}

div.program {
	background: #ddd;
	border: 1px solid black;
	margin: 4px;
	padding: 4px;
	max-width: 40em;
}

div.faqentry {
	margin: 1em 0 1em 2em;
	border: 1px solid black;
	padding: 0.7em;
	background: #ddd;
}

div.faqentry h3 {
	border: 1px solid black;
	background: white;
	margin-top: 1em;
	margin-left: -2em;
	padding: 0.2em;
	display: inline;
}

span.decl {
	color: green;
}

span.tag {
	color: blue;
}

ul.arrows {
	list-style-image: url(images/arrow.png);
}