body {
	background-color : #000000;
	color: #b0b0b0;
	font-family: sans-serif;
	font-size: 11pt;
}
h1 { font-size: 18pt; margin-top: 4em; text-decoration: none; font-weight: bold; }
h2 { font-size: 14pt; margin-top: 3em; text-decoration: none; font-weight: normal; }
img {	border: 0; }
.notstylish {	display: none; }
a { text-decoration: underline; color: #c9c9c9; }
a:visited { color: #b0b0b0; }
a:hover { color: #e0e0e0; }
a:active { color: #ffffff; }
#nav {
	position: fixed;
	_position: absolute; /* IE workaround */
	z-index: 3;
	top: 110px;
	left: 12px;
	margin: 0;
	padding: 35px 25px 35px 25px;
	border-top: #b0b0b0 2px solid;
	border-bottom: #b0b0b0 2px solid;
	width: 100px;
}
#nav ul {
	list-style: none;
	padding: 0;
	margin: 0;
	border: 0;
}
#nav li {
	text-align: center;
	width: 100px;
	margin: 0;
	padding: 0;
	font-size: 10pt;
	line-height: 21pt;
}
#nav li a {
	display: block;
	font-weight: normal;
	padding: 0;
}
#nav li a {
	text-decoration: none;
}
#nav li a:hover {
	font-weight: bold;
	border-left: 1px solid #505050;
	border-right: 1px solid #505050;
}
#nav1 {
	margin-top: 10ex;
	padding: 35px 25px 35px 25px;
	border-top: #b0b0b0 2px solid;
	border-bottom: #b0b0b0 2px solid;
	width: 100px;
  margin-left: auto;
  margin-right: auto;
}
#nav1 ul {
	list-style: none;
	padding: 0;
	margin: 0;
	border: 0;
}
#nav1 li {
	text-align: center;
	width: 100px;
	margin: 0;
	padding: 0;
	font-size: 10pt;
	line-height: 21pt;
}
#nav1 li a {
	display: block;
	text-decoration: none;
	font-weight: normal;
	padding: 0;
}
#nav1 li a:hover {
	font-weight: bold;
	border-left: 1px solid #505050;
	border-right: 1px solid #505050;
}
.content {
	margin-left: 210px;
	text-align: left;
}
#mail { margin-top: 6ex; font-size: 9pt; }
#mail a { text-decoration: none; }
#quote {
	position: absolute; top: 3em; right: 4em;
	font-size: 9pt;
	font-style: italic;
	text-align: right;
}
.teaching {
	width: 80%;
}
.teaching ul {
	padding: 0;
	margin: 0;
	border: 0;
}
.teaching li {
	background-color: #202020;
	list-style: none;
	margin-top: 2ex;
	padding: 5px 5px 5px 5px;
	border-top: #000000 solid 2px;
}
.lecture ul {
	list-style: none;
	padding: 0;
	margin: 0;
	border: 0;
}
.lecture li {
	margin-left: 4em;
	margin-top: 0.5ex;
}
.pubs {
	width: 80%;
	text-align: justify;
}
.pubs ul {
	list-style: none;
	padding-left: 0;
	margin-left: 0;
}
.pubs li {
	margin-top: 2ex;
	margin-left: 3em;
	text-indent: -3em;
}
.text {
	float: left;
  margin-left: 0;
	width: 60%;
  _width: 50%; /* IE workaround */
	text-align: justify;
  padding-right: 2%;
}
.text p {
	font-size: 11pt;
	line-height: 17pt;
}
.pic {
	margin-top: 8em;
	width: 35%;
  float: right;
  _width: auto; /* IE workaround */
  _float: none;
	text-align: center;
}
.pics {
	margin-top: 6em;
	float: right;
	width: 30%;
  _width: auto; /* IE workaround */
  _float: none;
	text-align: center;
}
#logopic {
	position: fixed;
	_position: absolute; /* IE workaround */
	top: 60%;
	width: 160px;
	text-align: center;
}
.project {
	width: 70%;
  _width: 50%; /* IE workaround */
	float: left;
}
.project ul {
	padding: 0;
	margin: 0;
	border: 0;
}
.project li {
	background-color: #202020;
	list-style: none;
	margin-top: 1ex;
	padding: 2px 2px 2px 6px;
}
.left {
	width: 70%;
        _width: 55%;
	float: left;
}
.left table {
	margin-left: 2%;
	margin-top: 4ex;
	border-spacing: 2ex;
}
.left td {
	padding: 2px 2px 2px 2px;
	vertical-align: top;
}
.homeleft {
  margin-left: 8%;
  width: 40%;
  float: left;
  text-align: center;
  margin-top: 5%
}
.homeleft h1 {
  padding-top: 0;
  margin-top: 0;
}
.homeright {
  width: 250px;
  margin-left: 60%;
  text-align: center;
  margin-top: 5%;
  padding-top: 10%;
}
#modified {
  font-size: 6pt;
  position: fixed;
  _position: absolute; /* IE workaround */
  bottom: 2ex;
  left: 12px;
  width: 160px;
}