/* document settings */
body {
  margin-top: 10px;
}



/* Settings for layout of headers */
h1.pagetitle {
  color: #BB0000;
  text-align: center;
  font-size: x-large;
}

h1 {
  margin-top: 0px;
  color: #BB0000;
  text-align: left;
  font-size: x-large;
}

h2 {
  color: #000000;
  text-align: left;
  font-size: large;
}



/* Settings for layout of text */
p.menu {
  margin: 0px;
  font-weight: bold;
  text-align: left;
}

p.subdir {
  margin: 0px;
  margin-bottom: 5px;
  font-weight: bold;
}

p.subpage {
  margin: 0px;
  margin-left: 20px;
}

p.footerleft {
  font-size: small;
  margin: 0px;
  text-align: left;
}

p.footerright {
  font-size: small;
  margin: 0px;
  text-align: right;
}



/* Settings for the layout of links */
a {
  color: rgb(0%, 0%, 100%);
  text-decoration: none;
}

a:active {
  color: rgb(40%, 40%, 100%);
  text-decoration: underline;
}

a:hover {
  color: rgb(40%, 40%, 100%);
  text-decoration: underline;
}



/* Settings for table elements */
table.layout {
  background-color: #ffffdd;
  padding: 0px;
  width: 100%;
}

td {
  padding:0px;
}

td.toppane {
  vertical-align: top;
}

td.middlepane {
  border-top-style: ridge;
  border-top-width: thin;
  border-bottom-style: ridge;
  border-bottom-width: thin;
  padding-top: 10px;
  padding-bottom: 10px;
  vertical-align: top;
}

td.bottompane {
  padding-top: 0px;
  width: 50%
}

td.leftpane {
  border-right-style: ridge;
  border-right-width: thin;
  vertical-align: top;
  width: 200px;
}

td.rightpane {
  padding-left: 10px;
  padding-right: 10px;
  vertical-align: top;
}

td.substruct {
  padding-bottom: 10px;
}



/* misc settings */
hr {
  margin: 0px;
  padding: 0px
}