body, html {
	padding: 0;
	margin: 0;
}

h1 a {
	text-decoration: none;
	color: inherit;
}

nav {
	display: block;
	height: 4em;
	color: white;
	background-color: darkgrey;
}

nav hr {
	border: none;
}

nav, footer {
	width: 100%;
	padding-left: 1em;
	padding-right: 1em;
	box-sizing: border-box;
}

menu {
	margin: 0;
	padding: 0;
	display: flex;
	justify-content: space-between;
	height: 100%;
}

menu > li {
	display: flex;
	align-items: center;
}

dl {
	display: grid;
	grid-template-columns: auto 1fr;
}

dt {
	font-weight: bold;
	text-align: right;
}

dd {
	font-family: mono;
	font-size: 80%;
	margin-left: 1em;
}
dd > * {
	margin: 0;
}

th {
	background-color: lightblue;
}

th a {
	color: initial;
}

tr:nth-child(2n) {
	background-color: lightblue;
}

.loginform {
	display: grid;
	grid-template-columns: auto 1fr;
	width: 50ch;
}

.loginform label {
	padding: 0.5ex;
}

.loginform input[type="submit"] {
	grid-column: 1/3;
}

.loginform div {
	grid-column: 1/3;
}

main {
	margin: 1em;
}

footer menu {
	justify-content: space-around;
}

footer a {
	color: darkgrey;
}

footer {
	border-top: 1px solid grey;
}

#searchform {
	display: grid;
	grid-template-columns: 1fr auto;
}

#searchform input {
	grid-column: 1/3;
}

#searchform input[type="submit"] {
	grid-column: 2;
}


iframe {
	width: 100%;
}

main pre {
	white-space: pre-wrap;
	border: 2px solid black;
}

table a {
	white-space: nowrap;
	overflow: hidden;
	text-overflow: ellipsis;
	/* Ugly hack to force table to be reasonable width */
	display: inline-block;
	max-width: calc(100vw/4);
}

.quote-marker {
	font-weight: bold;
}

.quote-0 { color: darkcyan; }
.quote-1 { color: magenta; }
.quote-2 { color: goldenrod; }
.quote-3 { color: #00cc00; }
.quote-4 { color: red; }