/* General styles */
body {
  margin-left: 5%;
  margin-right: 5%;
  font-family: "Lucida Grande", "Tahoma", sans-serif;
}

h1, h2, h3 {
  font-family: "Eurostile", "Lucida Sans", sans-serif;
}

code, pre, tt {
  font-family: "Courier New", monospace;
}

code {
  font-weight: bold;
}

.title {
  text-align: center;
}

.illustration {
  float: right;
}

h1.title {
  margin-top: 15%;
}

a[href]:hover, a[href]:focus {
  color: #E03000;
}

/* Generic classes */
.center {
  margin-left: auto;
  margin-right: auto;
}

.hidden {
  display: none;
}

/* Styles for lists */
body > ul > li {
  font-size: 120%;
}

li {
  margin-bottom: 1ex;
}

/* Table of Contents */
#toc {
  position: absolute; 
  top: 55%; left: 5%;
  height: 35%;
  overflow: auto;
  padding-left: 1em;
  padding-right: 2em;
}

#toc h1 { color: #C0C0C0; font-size: 100%; }
#toc h1:after { content: " \00BB"; }
#toc ul, #toc ul li { display: none; }

#toc:hover { border: dashed 1px #C0C0C0; background: #F0F0F0; }
#toc:hover h1 { color: black; font-size: 100%; margin-bottom: 0.5ex; }
#toc:hover h1:after { content: ""; }
#toc:hover ul { display: block; }
#toc:hover ul li { display: list-item; font-size: 70%; white-space: nowrap; }

/* Navigation bar and information bar */
.navbar, .infobar {
  width: 100%;
  margin: 0px;
  border: none;
  background: #F0F0F0;
  font-family: "Verdana", sans-serif;
  font-size: 80%;
}

/* Navigation bar */
.navbar h1 {
  font-family: "Verdana", sans-serif;
}

.navbar td:hover {
  background: #E0E0E0;
}

.navbar a {
  display: block;
  padding: 0px 2em;
}

.navbar a:hover {
  background: #E0E0E0;
}

#navbar-top {
  position: fixed;
  top: 0px; left: 0px; right: 0px;
  border-bottom: solid 1px #999;
}

.navbar_label {
  font-size: 80%;
  font-weight: bold;
}

.navbar h1.navbar_title {
  text-align: center;
  font-size: 120%;
  white-space: nowrap;
}
.navbar h1.navbar_title a {
  color: black;
  text-decoration: none;
  white-space: nowrap;
}

/* Information bar */
#infobar-bottom {
  position: fixed;
  bottom: 0px; left: 0px; right: 0px;
  border-top: solid 1px #CCC;
}

.conf_name {
  font-weight: bold;
}

.copyright {
  font-size: 80%;
  font-style: italic;
}