body {
	font-family: "Source Sans Pro","Helvetica Neue",Helvetica,Arial,sans-serif;
	background: #DFF0FF;
	margin: 0px;

}
.header {
	background-color: #1f3963;
	color: white;
	font-size: 40px;
	padding: 5px;
}
.header-text {
	display: inline-block;
	padding-top: 10px;
	margin-left: 10px;
	vertical-align: top;
}
.content {
	margin: 10px;
}
.javadoc {
	font-family: "Courier New", Courier, monospace;
	text-decoration: none;
	font-size: 1em;
    font-weight: bold;
}
.wkt {
	font-family: "Courier New", Courier, monospace;
	font-size: 10pt;
	background-color: #dddddd;
	padding: 4px 5px 4px 5px; 
	border-radius: 5px;
}