body {
	font-family: sans-serif;
	font-size: 10pt;
	text-align: center;
	background: #cccccc;
	margin: 0px;
}

body h1 {
	margin: 10px;
}

div#container {
	margin: 0px auto 20px auto;
	padding-left: 25px;
	padding-right: 25px;
	padding-top: 10px;
	width: 800px;
	text-align: left;
	background: #ffffff;
	border: 2px solid #999999;		
}

#downloadBox {
	padding: 20px;
}

#downloadBox A {
	padding: 10px;
	border: 1px solid #cccccc;
}

#index {

}

#content {

}

.entry {
	margin-top: 2em;
}

.title {
	font-weight: bold;
}

.para {
	margin-top: 1em;
}

.code {
	padding: 1em;
	margin-top: 1em;
	border: 1px solid #cccccc;
	background: #eeeeee;
	font-size: 8pt;
}
		
a:visited { color: blue };
a:hover { color: red };

.navLink {
	display: inline;
}

.navLink a {
	text-decoration: none;								
}

.navLink a:hover {
	color: red;
}