a {
  color: #2020D0;
  text-decoration: none;
}
a:visited {
  color: #8020D0;
}
body {
	margin: 0px;
	font-family: Helvetica, Arial, sans-serif;
	text-align: center; /* for those browsers that don't play well with margin:auto */
  font-size: 11pt;
}
#container {
  width: 800px;
  margin: 0px auto;
  text-align: left;
  border-left: 1px solid #E4E4E4;
  border-right: 1px solid #E4E4E4;
  border-bottom: 1px solid #E4E4E4;
  box-shadow: 4px 4px 6px #D0D0D0;
}
#top {
	height: 200px;
  overflow: auto;
}
#top-img {
  float: left;
}
#top-text {
	padding: 22px 20px 18px;
	height: 160px;
	width: 560px;
	display: table-cell;
	vertical-align: bottom;
}
#nav {
	border-top: 2px solid #404040;
	border-bottom: 2px solid #404040;
	background: #E0E0E0;
}
#nav a {
	color: black;
}
#nav a:visited {
	color: black;
}
#nav ul {
	display: inline-block;
	margin: 3px 2px;
	padding: 0px;
}
#nav ul li {
	display: inline-block;
	padding: 3px;
	background: #D0D0D0;
	margin: 0px 3px;
	box-shadow: 2px 2px 3px #B0B0B0;
}
#nav ul li.current {
	background: #C0C0C0;
	box-shadow: 1px 1px 2px #A0A0A0;
}
#content{
	padding: 10px;
	min-height: 400px;
	overflow: auto;
}
#content p{
	margin-top: 0px;
}
#bottom{
	text-align: center;
	font-size: 70%;
}
.title {
  font-size: 200%;
}
#content .title{
	font-size: 150%
}
.paper-title {
  font-weight: bold;
}
code.block {
	display: block;
	border: 1px solid #404040;
	margin: 1em 2em;
	padding: 0em 1em;
}