/* Headers */

body {
	margin-left: 20%;
	margin-right: 20%;
	text-align: justify;
}

/* Page name */
h1 {
	border-bottom: 1px solid gray;
	/*color: #323C3C;*/
	font-family: serif;
	font-size: 130%;
	font-weight: bold;
	text-align: left;
}

/* Page title, beneath the name */
h2 {
	font-family: serif;
	font-size: 120%;
	font-weight: bold;
	text-align: center;
}

/* Page section */
h3 {
	font-family: serif;
	font-size: 110%;
	font-weight: bold;
	padding-top: 1.5em;
	text-align: left;
}

/* Lists */

ul {
	list-style-type: circle;
}

/*
 * Links and their colors (is there a better place for this?)
 */

a {
	color: blue;
	text-decoration: none;
}

a:hover {
	color: #008;
	text-decoration: underline;
}

/*
 * Header links
 */

h1 a, h1 a:visited {
	border-bottom: 1px solid #ccc;
	/*color: #333;*/
	text-decoration: none;
}

h1 a:hover {
	/*color: #637677;*/
}