/*
	My default style-sheet. 
*/	

body { 
	color: black; 
	background: white;
	margin-left: 5%;
	margin-right: 5%;
	width: 80ex;
}


dl, p, ul, ol {
	font-size: 14;
}

pre {
	margin-left: 5%;
	font-family: "Courier";
	font-size: 12;
}

h3 {
	margin-top: 1em;
}

h4 {
	margin-bottom: 1em;
}

h1 {
	margin-bottom: 1em;
}