.heading {
height: 60px;
background-color: #f1f1f1;
padding: 2px;
border-bottom: 1px solid #ddd;
}

.heading a:hover {
 text-decoration: none;
}

.content {
 margin: 20px;
}

h1.title {
 margin: 10px;
}

a { color: #3374b7; text-decoration: none; } 
a:hover { text-decoration: underline; }

body { 
color: #666;
margin: 0;
padding: 0;
}

img { border: 0; }

pre {
	font-family: Bitstream Vera Sans Mono, Luxi Mono, Fixed, Courier, Lucidatypewriter;
	background-color: rgb(230,230,230);
	border-style: solid;
	border-width: 1px;
	padding: 9px;
}

.directive h2 {
	background-color: #f1f1f1;
	color: #666;
}

.directive table {
	vertical-align: top;
	text-align: left;
}

.directive th, .directive td {
	vertical-align: top;
}