* {
	font-family: sans-serif;
	font-size: 10pt;
}

body {
	font-size: 1em;
	margin: 11px auto auto;
	width: 50em;
}

h1 {
	font-size: 2em;
	font-style: normal;
	font-weight: 500;
	letter-spacing: normal;
	text-decoration: none;
	text-transform: none;
	word-spacing: normal;
}

h2 { 
	font-size: 1.75em;
	font-weight: 500;
	font-style: normal;
	text-decoration: none;
	word-spacing: normal;
	letter-spacing: normal;
	text-transform: none;
} 

h3 {
	font-size: 1.58em;
	font-weight: 600;
	font-style: normal;
	text-decoration: none;
	word-spacing: normal;
	letter-spacing: normal;
	text-transform: none;
}

#menu {
	border: 1px solid gray;
	font-weight: bold;
	margin: 1em 0;
	padding: 0;
	text-align: center;
}


#menu li {
	display: inline;
	margin: 0 0.25em;
}

#menu a {
	border: 1px solid gray;
	padding: 1px;
	text-decoration: none;
}

/*#menu a:hover {
}*/

img.avatar {
	margin: 0.5ex 0.5em;
	width: 80px;
	height: 80px;
	display: block;
	text-align: center;
	background-color: white;
}

table.log a {
	color: black;
	text-decoration: underline;
	font-weight: normal;
}

table.log .visited {
        background-color: #90EE90;
	color: black;
}

table.log .unvisited {
        background-color: #CD5C5C;
	color: black;
}

#tail {
	border-width: 1px 0 0;
	border-style: solid;
	margin-top: 0.5ex;
	text-align: center;
}