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

a:hover, a:active {
	color: blue;
	text-decoration: underline;
}

body {
	background-color: white;
	color: black;
}

h3 {
	margin-top: 2em;
}

h4 {
	margin-top: 1.5em;
}

label {
	cursor: default;
}

ul.errors {
	color: red;
}

ul.navbar {
	list-style-type: none;
	margin: 1em 0;
	padding: 0;
}

ul.navbar li {
	display: inline;
	margin: 0 0.5em;
	padding: 0;
}

.box {
	background-color: whitesmoke;
	border: 4pt outset silver;
	margin: 4pt 0;
	padding: 0.5em;
}

.column {
	float: left;
	margin: 0 0.5em;
	position: relative;
}

.error .box {
	background-color: lavenderblush;
	border-color: lightpink;
}

.error .stepnum {
	color: red;
}

.stepnum {
	font-size: 300%;
	left: 0.2em;
	position: absolute;
	top: 0;
}

.supplemental {
	font-size: 0.9em;
	font-style: italic;
}

div.supplemental {
	margin-top: 0.5em;
}

#main_navbar {
	font-size: larger;
	text-align: center;
}

#toc ul {
	list-style-type: none;
	margin: 0 0 0 1.5em;
	padding: 0;
}

#toc ul li {
	margin-top: 0.5em;
}

#toc ul ul li {
	margin-top: 0;
}