File contents

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

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

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

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


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

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

/*
#index {
  position: absolute;
  top: 7px;
  left: 0px;
  width: 195px;
  bottom: 0px;
  margin: 10px 10px 10px 10px;
  padding: 10px 0px 10px 5px;
}

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

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

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

body {
  font-family: sans-serif;
}


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

#index {
  font-size: smaller;
  border-top-style: solid;
  border-top-width: 10px;

  border-bottom-style: solid;
  border-bottom-width: 6px;
}

#index h2 {
  border-bottom-style: solid;
  border-bottom-width: 3px;
  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: 5px 0px 5px 10px;
  margin-left: -5px;
  margin-right: 0px;
  border-bottom-style: solid;
  border-bottom-width: 1px;
}

/*
#indexTree li li a {
  display: block;
  padding: 2px 2px 2px 10px;
  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: 10px;
  min-height: 300px;
}

#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: 3px;
  font-family: sans-serif;
  font-weight: bolder;
  margin: -5px 0px 5px -10px;
  padding: 0px 0px 0px 30px;
}

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;
}

h4 {
  clear: both;
  font-size: smaller; /*medium*/
  font-style: italic; 
  font-weight: normal;
  margin-top: 20pt;
  /*padding: 0px 40px 0px 40px;*/
}
/* 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;
}