html, body {
	width: 100%;
	height: 100%;
}

body {
	background-color: #DBF2F8;
	font-family: sans-serif;
	padding: 0px;
	margin: 0px;
	text-align: center;
}

#info {
	width:800px; 
	padding-top: 50px;
}

.panel {
	text-align: left;
	padding:30px; 
	background-color:white;
	margin: auto;
	box-shadow: 0px 0px 5px 2px rgba(0,0,0,0.4);
	box-sizing: border-box;
	position: relative;
	width: 100%;
}

.module {
	width: 800px;
	display: block;
	margin-top: 25px;
	margin-bottom: 25px;
}

.source {
	display: none;
}

.nav {
	margin: 0px;
	margin-bottom: 20px;
	display: block;
	width: 800px;
	list-style: none;
	padding: 0px;
	position: absolute;
	top: 0px; 
	left: 0px;
	background-color: #4880A5;
	
}

.nav li {
	padding: 0px;
	display: inline-block;
	margin: 0px;
}

.nav a {
	text-decoration: none;
	color: white;
	margin: 0px;
	padding: 10px 20px;
	font-weight: bold;
	font-variant: small-caps;
	display: inline-block;
	box-sizing: border-box;
	cursor: pointer;

}

.nav li:hover {
	text-shadow: 0px 0px 2px rgba(0,0,0,0.8);
	background-color: #3F6D8A;
}

.panel h1, h2, h3 {
	font-family: Cambria, Cochin, Georgia, Times, Times New Roman, serif;
	margin-top:0px;
}

pre {
	tab-size: 4;
	overflow: scroll;
	max-height: 500px;
}

button {
	box-sizing: border-box;
	border: 2px solid rgb(45, 86, 112);
	background-color: #4880A5;
	padding: 10px 20px;
	color: white;
	font-weight: bold;
	font-variant: small-caps;
	font-size: 1em;
}

.btn-small {
	font-size: 0.7em;
	padding: 5px 10px;
}

.sourcePane {
	margin-top: 30px;
}

.sourcePane a {
	color: black;
	font-style: italic;
	font-size: 0.8em;
	text-decoration: none;
}