div#logo {
	font-family: Georgia, Serif;
	font-size: large;
	color: green;
	border-bottom: 1px solid green;
	margin-bottom: 1em;
	}
div#links { padding-left: 1em; }
div.link { margin-bottom: 0.2em; }
a { font-family: Monospace; font-weight: bold; color: blue; }