html {
	font-family:  urw palladio l, Times New Roman, serif;
	background-color: rgb(192, 192, 192);
	font-size: 17px;
	text-align: justify;
	color: rgb(40, 40, 60);
}

h1 {
	font-family: century schoolbook l, Georgia, sans-serif;
	font-weight: bold;
	color: rgb(150, 150, 150);
}

td {
	vertical-align: top;
}

p {
	margin-top: 0px;
}

div.menu {
	background-color: rgb(176, 176, 176);
	border: thin solid rgb(128, 128, 128);
	float: left;
	padding: 10px;
	margin-right: 10px;
	font-family: urw gothic l, Verdana, sans-serif;
	font-size: 16px;
}

div.localmenu {
	padding-left: 10px;
}

div.email {
	font-size: 14px;
	font-style: italic;
	margin-top: 50px;
}

td.date {
	color: green;
	font-style: italic;
}

a {
	color: rgb(0, 0, 255);
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

a:visited {
	color: rgb(96, 40, 255);
}

a.selected {
	color: rgb(0, 0, 127);
}

a.selected:visited {
	color: rgb(48, 20, 127);
}

div.patch {
	margin: 1em;
	margin-top: 2em;
	text-indent: 0%;
	padding-left: 0%;
}

div.patch > p {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	padding-left: 5%;
}

div.patch > a:first-child {
	float: left;
}

p.note {
	font-style: italic;
	font-size: 80%;
	color: rgb(80, 80, 80);
}