/* General */

* {
	margin: 0;
	padding: 0;
}

body {
	font-family: "DejaVu Sans", Verdana, sans-serif;
	line-height: 140%;
}

a, a:link, a:active, a:visited {
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

#content a.evaluation{
  color: #724837; font-weight: bold;
}

a.evaluation{
  font-size: 65%; padding: 0.2em; 
}

img {
	border: none;
}

/* Content */

#content blockquote {
	margin: 0.5em 1em;
}

#content h1 {
	font-size: 1.4em;
}

#content h2 {
	font-size: 1.2em;
}

#content div.title {
	margin-bottom: 1.2em;
}

#content h3 {
	margin: 1.5em 0 0.5em;
	font-size: 1.2em;
}

#content h4 {
	margin: 0.7em 0 0.5em;
	font-size: 1em;
}

#content ul {
	list-style: square outside;
	margin: 0.5em 0 0.5em 1.5em;
}

#content ul li {
	margin: 0.4em 0;
}

#content ol {
	list-style: decimal outside;
	margin: 0.5em 0 0.5em 2.5em;
}

#content p {
	margin: 0.5em 0;
}

#content table {
	margin: 0.5em 0;
	border: none;
	border-spacing: 0;
}

#content table th, #content table td {
	padding: 0.2em 1em 0.2em 0;
	text-align: left;
	vertical-align: baseline;
}

#content table.address td {
        margin: 0;
        padding: 0;
}

#content table.showgrid {
	border-collapse:collapse;
	border-spacing: 2px;
}

#content table.showgrid td {
	padding-left: 0.5em;
	padding-right: 0.5em;
	border: 1px solid black;
}

#content table.showgrid th {
	padding-left: 0.5em;
	padding-right: 0.5em;
	border: 1px solid black;
}

#content table thead {
	text-align: center;
	font-weight: bold;
}

#content table .break {
	/* border: 1px solid black;
	border-left: 0px;
	border-right: 0px; */
	
	color: gray;
	padding: 0.5em 0;
}

/* the following is for formatting <dow><begin>-<end> date-times */

#content table.showgrid td.datetime span:first-child {
	width: 1.5em;
	float:left;
	text-align:left;
}

#content table.showgrid td.datetime span:first-child + span {
	width: 3em;
	float:left;
	text-align:right;
}

#content table.showgrid td.datetime span:first-child + span + span {
	width: 1.5em;
	float:left;
	text-align:center;
}

#content table.showgrid td.datetime span:first-child + span + span + span {
	width:2.7em;
	float:left;
	text-align:right;
}

#content table.showgrid td.datetime span:first-child + span + span + span + span{
	diplay:none;
	width:0em;
}

/**************************************************************/

/* the following is for formatting <dow><begin>-<end> date-times */

#content table.showgrid td.dow {
	width: 1.25em;
	text-align:left;
	border-right:0;
	padding-right:0;
}

#content table.showgrid td.dow + td {
	width: 3em;
	text-align:right;
	border-left:0;
	border-right:0;
	padding-left:0;
	padding-right:0;
}

#content table.showgrid td.dow + td + td {
	width: 1.5em;
	text-align:center;
	border-left:0;
	border-right:0;
	padding-left:0;
	padding-right:0;
}

#content table.showgrid td.dow + td + td + td {
	width:2.7em;
	text-align:right;
	border-left:0;
	padding-left:0;
}

/**************************************************************/

#content table.seminar-schedule td:first-child {
	text-align: right;
	padding-right: 0.1em;
}

#content table.seminar-schedule td:first-child + td {
	padding-left: 0.25em;
	padding-right: 0.25em;
}

#content table.seminar-schedule td:first-child + td + td {
	text-align: right;
/*	padding-right: 0.7em;*/
}

#content table.seminar-schedule {
	margin-top: -0.8em;
}

#content table.seminar-schedule td.heading {
	padding-top: 0.8em;
	text-align: left;
        font-weight: bold;
}

#content table.points {
	margin: 1em 0;
}

#content table.points td.head {
	font-weight: bold;
}

#content table.points td.sum {
        font-weight: bold;
}

#content table.form {
	margin: 1em 0;
}

#content table.form .button {
	margin-top: 1em;
	padding: 0.2em;
}

#content table.bibtex-bibliography {
	width: 100%;
}

#content table.bibtex-bibliography td {
	padding-right: 0;
}

#content table.bibtex-bibliography td.index {
	padding-right: 1em;
}

#content span.bibtex-title, a.bibtex-title {
	font-weight:bold;
}

#content table.people {
	margin-top: -0.9em;
}

#content table.people td.heading {
	padding-top: 1.2em;
	padding-bottom: 0.5em;
	font-weight: bold;
}

#content img#glogo {
	width: 150px;
	height: 100px;
}

#content blockquote.pub-abstract {
	font-size: 0.9em;
}

#content blockquote.pub-bibtex {
        font-family: monospace;
	font-size: 0.9em;
}

#content div.book-div {
	margin: 0 0 1.5em;
	clear: right;
}

#content div.image {
	float: right;
	padding: 0 0 15px 15px;
}

#googlemap {
	width: 100%;
	height: 600px;
	margin: 1em 0;
}

.highlight { 
	font-weight: bold;
}

/* Old games css for the few parts we imported. */

table.oldgames_directory{
  border-collapse: collapse;
  border-spacing: 0;
  border: none;
  margin-left: 30px;
  margin-bottom: 2em;
}


td.oldgames_group{
  padding-right: 1em;
  padding-top: .3em;
  padding-bottom: .3em;
  vertical-align: middle;
  border-top: 1px solid #aaa;
}

td.oldgames_node{
  padding-right: 1em;
  padding-top: .3em;
  padding-bottom: .3em;
  vertical-align: middle;
  border-top: 1px solid #aaa;
  line-height: 125%;
}

td.oldgames_name{
  vertical-align: middle;
  padding-top: .3em;
  padding-bottom: .3em;
  border-top: 1px solid #aaa;
  white-space: nowrap;
}

td.oldgames_flag{
   width: 30px;
   text-align: left;
   vertical-align: middle;
   padding-top: 0em;
   padding-bottom: 1em;
   border-top: 1px solid #aaa;
}