/* Layout **************************************************************************/

body {
  margin: 0px;
  padding: 0px;
}

#corner {
  position: fixed;
  left: 0px;
  height: 80px;
  margin: 10px;
  width: 180px;
  padding: 0px 10px 10px 10px;
}

#header {
  position: absolute;
  left: 210px;
  right: 0px;
  height: 80px;
  margin: 10px;
  padding: 0px 10px 10px 10px;
}

#index {
  position: fixed;
  top: 100px;
  left: 0px;
  width: 195px;
  bottom: 0px;
  margin: 10px 10px 10px 10px;
  padding: 10px 0px 10px 5px;
}

#main {
  position: absolute;
  top: 100px;
  left: 210px;
  right: 0px;
  margin: 10px 10px 10px 10px;
  padding: 10px 0px 10px 10px;
}

#footer {
  margin: 20px 0px 0px -10px;
  padding: 0px 0px 0px 10px;
}

/* Style  **************************************************************************/

/* The body ****************************************************/

body {
  font-family: sans-serif;
}

/* The header **************************************************/

#header {
  background-position: 10px 10px;
  background-repeat: no-repeat;
}

/* The index ***************************************************/

#index {
  font-size: smaller;
  border-top-style: solid;
  border-top-width: 5px;
  border-bottom-style: solid;
  border-bottom-width: 5px;
}

#index h2 {
  border-bottom-style: solid;
  border-bottom-width: 2px;
  font-style: normal; 
  margin: -5px 0px 0px -5px;
  padding: 0px 0px 0px 5px;
}

#indexTree, #indexTree ol {
  list-style-type: none;
  margin: 0px;
  padding: 0px;
}

#indexTree li a {
  display: block;
  padding: 2px 0px 2px 5px;
  margin-left: -5px;
  margin-right: 0px;
  border-bottom-style: solid;
  border-bottom-width: 1px;
}

#indexTree li li a {
  display: block;
  padding: 2px 2px 2px 20px;
  margin-left: -5px;
  border-bottom-style: solid;
  border-bottom-width: 1px;
}

#indexTree a:hover {
  text-decoration: none;
}

/* The main content ********************************************/

#main {
  border-top-style: solid;
  border-top-width: 5px;
  min-height: 300px;
}

#footer {
  padding-top: 5em;
}

#signature {
  text-indent: 0px;
  text-align: center;
  width: 100%;
  position: absolute;
  left: 0px;
  bottom: 0px;
}

#validators {
  float: right;
  vertical-align: top;
}

#made {
  float: right;
  clear: both;
  font-size: x-small;
  color: black;
}
  
/* Links *******************************************************/

a {
  text-decoration: none;
}

a.current {
 font-weight: bolder; 
}

a:hover, a:active {
  text-decoration: underline;
}

a:visited {
}

/* Sectioning **************************************************/

h1 {
  clear: both;
  font-size: medium;
  border-bottom-style: solid;
  border-bottom-width: 2px;
  font-family: sans-serif;
  font-weight: bold;
  margin: -5px 0px 5px -10px;
  padding: 0px 0px 0px 10px;
}

h2 {
  clear: both;
  font-size: medium;
  font-style: italic; 
  font-weight: bolder;
  margin-top: 10pt;
}

h3 {
  clear: both;
  font-style: italic; 
  font-weight: bolder;
  margin-top: 10pt;
}


/* Bibliographies **********************************************/

ol.bibliography li {
  margin-bottom: 5px;
}

li.bibitem span.author {
}

li.bibitem span.title {
  font-style: italic; 
}

li.bibitem span.journal-title {
}

li.bibitem span.volume {
  font-weight: bold;
}

td {
  vertical-align: top;
}

img {
  border: none;
}

p {
  text-indent: 1em;
  margin-top: 0px;
  margin-bottom: 3px;
}

p.spaced {
  margin-top: 1em;
}

dd p {
  margin-left: 0em;
}

dt {
  margin-top: 1em;
}

dt:first-child {
  margin-top: 0em;
}
  
dd + dt {
  margin-top: 1em;
}

.hidden {
  display: none;
}

.tiny {
  font-size: xx-small;
}

.noindent{
  text-indent: 0pt;
}

.light, .light a {
  color: #ABABAB;
}