body {
	background-color: white;
	font-family: sans-serif;
	color: black;
}

a:link {color: #000080}
a:visited {color: #008000}
a:hover {color: #000080}
a:active {color: #008000}

/* Tables that aren't ugly */

table {
	border-collapse: collapse;
}

td {
	vertical-align: top;
	border: 1px solid black;
}

th {
	font-weight: bold;
	text-align: center;
	vertical-align: middle;
}

/* Centering blocks is unstraightforward */

table.center {
	margin-left:auto;
	margin-right:auto;
}

/* Header and footer */

div.header td {
	vertical-align: bottom;
	border: 0px;
	padding: 5px;
}

div.footer {
	clear: both;
}

table.navbar {
	margin-left:auto;
	margin-right:auto;
}

/* The body (this starts in the header and ends in the footer */
div.body {
	clear: both;
}

/* Things for index.html */

div.projectbox {
	float: left;
	width: 50%;
	min-width: 200px; /* This should be in ems */
	padding: 10px 0px;
}

div.projectbox h3 {
	margin: 0px;
	padding: 0px;
}

div p {
	font-size: medium;
}

/* Things for putting code in web pages */

.command {
	color: white;
	background: black;
}

code {
	white-space: nowrap;
}