/* Default settings for all HTML elements. */
body {
	font-family: Verdana, Arial, sans-serif;
	font-size: small;
}

h1 {
	font-size: large;
	margin-top: 0.3em;
	margin-bottom: 0.5em;
	padding: 0.3em;
	background-color: #e8f4ff;
	color: black;
}

h2 { 
	font-size: medium;
	margin-top: 0.5em;
	margin-bottom: 0.3em;
	padding-top: 0.2em;
	border-top: solid thin gray; 
}

h3, h4 {
	font-size: small;
	margin-top: 0.3em;
	margin-bottom: 0.3em;
}

p {
	margin-top: 0.5em;
	text-align: justify;
}

ol, ul, dl {
	margin-top: 0.1em;
	}
	
div.footer {
	border-top: solid thin gray; 
	font-size: x-small;
	}

pre { 
	border: solid 1px black; 
	background-color: #e8f4ff; 
	color: black; 
	padding: 0.5em; 
	margin-left: 2em; 
	margin-right: 2em;
}

/*
div.rightsidebar {
	margin: 0.3em;
	padding: 0.5em;
	background: silver;
	float: right;
	width: 35%;
	text-align: justify;
	}

div.box {
	border: solid thin gray; 
	margin: 0.3em;
	padding: 0.2em;
	}

div.indent {
	margin-left: 1em;
	}
*/