body,td,th {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
	color: #000033;
}
body {
	background-color: #CCCCFF;
}
.header {
	color: #FFFF99;
	background-color: #333399;
	text-align: center;
	padding: 10px;
	margin-bottom: 20px;
}
.header h1 {
	/*font-size: x-large;*/
	/*font-style: italic;*/
	margin: 0px;
}
.header p {
	/*font-size: medium;*/
	margin-top: 10px;
	margin-bottom: 0px;
}
.footer {
	clear: both;
	color: #FFFF99;
	background-color: #333399;
	text-align: center;
	padding: 10px;
	margin-top: 20px;
}
.leftsidebar {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
	color: #333333;
	background-color: #333399;
	float: left;
	width: 160px;
	/*border-right: 1px solid #666666;*/
	border-left: 1px solid #0000CC;
	border-right: 1px solid #000033;
	border-bottom: 1px solid #000033;
	padding: 0;
	margin-bottom: 1em;
	font-weight: bold;
	/* margin-left: 10px; */
	/*padding: 1em;*/
}
.leftsidebar p {
	display: none;	/* Paragraphs will be ignored by CSS browsers */
}
.leftsidebar ul {
	list-style: none;
	margin: 0;
	padding: 0;
}
.leftsidebar ul li {
	margin: 0;
	border-top: 1px solid #000033;
}
.leftsidebar ul li a {
	display: block;
	padding: 2px 2px 2px 0.5em;
	border-left: 10px solid #6666CC;
	border-right: 1px solid #6699CC;
	border-bottom: 1px solid #6666CC;
	background-color: #333399;
	color: #FFFF99;
	text-decoration: none;
	width: 100%;					/* Kludge to make whole width active in IE */
}
html>body .leftsidebar ul li a {	/* Undo "width: 100%" (IE kludge) for CSS2 browsers */
	width: auto;
}
.leftsidebar ul li a:hover {		/* Inherits settings from "ul li a" above */
	border-left: 10px solid #333399;
	background-color: #9999FF;
	color: #333399;  /* dark text colour on pale background */
}
.leftsidebar ul li a.nolink {		/* Inherits settings from "ul li a" above */
	background-color: #6666CC;
}
.leftsidebar ul li a.nolink:hover {	/* Inherits settings from "ul li.thispage a" above, */
	border-left: 10px solid #6666CC;	/* -AND- from "ul li a:hover": override all of these! */
	background-color: #6666CC;
	color: #FFFF99;
}
.leftsidebar ul li.submenu {
	font-weight: normal;
/*	padding-left: 10px;
	border-left: 10px;*/
}
.mainbody {
	margin-left: 200px;
	padding-left: 10px;
}
.mainbody h2 {
	margin-top: 0px;
}
.mainbody ol li {
	margin-bottom: 1ex;
}
.mainbody dl dd {
	margin-bottom: 1ex;
}
.mainbody ul li {
	margin-bottom: 1ex;
	list-style-type: square;
	list-style-position: outside;
}
/*  Needs to be in order: link visited hover active
.mainbody a:link {
    color: #006600;
}
.mainbody a:visited {
    color: #990033;
}
*/
.indented-quote {
	margin: 0px 2em;
}
img.topright {
	margin-bottom: 5px;
	margin-left: 20px;
}
.talktitle {
	font-style: italic
}
table.vspace td {
    padding-bottom: 1ex;
}
/*.eventstable ul {
	list-style-type: none;
	float: left;
	margin: 0;
	padding: 0;
}*/
ul.eventstable {
	list-style-type: none;
	margin-left: 0px;
	padding-left: 0px;
}
ul.eventstable li {
	list-style-type: none;
	margin-bottom: 1em;
}
.eventsindent {
	margin-left: 4ex;
}
.mainlecture {
	font-weight: bold;
}
.nosidebarbody {
	margin-left: 10px;
	padding-left: 10px;
}
.nosidebarbody h2 {
	margin-top: 0px;
}
ul.mailingslist {
	list-style-type: none;
	margin-left: 0px;
	padding-left: 0px;
}
ul.mailingslist li {
	list-style-type: none;
	margin-bottom: 1em;
}
.mailingsindent {
	margin-left: 4ex;
}
.fixme {
	color: #990000;
	font-style: italic;
}
address {
	margin-left: 2em;
	font-style: normal;
	font-weight: bold;
}