/* Cascading Style Sheets -- Markus Kirchberg (June 2005) */


/* General */

body {
  background-color: white;
  color: black;
  direction: ltr;

  font-family: sans-serif;
  font-size: 100%;
  font-style: normal;
  font-weight: normal;

  text-align: left;
  text-indent: 0px;
}


/* Headings */

h1 {
  color: navy;

  font-family: serif, sans-serif;
  font-size: 200%;
  font-weight: bold;

  letter-spacing: .2em;
  text-align: center;

  line-height: 125%;

  clear: right;
}

h2 {
  font-size: 160%;
  font-weight: bold;

  margin-bottom: 0.75em;

  line-height: 115%;

  clear: right;
}

h3 {
  font-size: 130%;
  font-weight: bold;

  margin-bottom: 0.5em;

  line-height: 105%;

  clear: right;
}

h4 {
  font-size: 100%;
  font-weight: bold;

  margin-bottom: 0.35em;

  line-height: 100%;

  clear: right;
}

h5 { /* Used as hyear previously */
  font-size: 100%;
  font-weight: bold;

  text-decoration: underline overline;

  margin-bottom: 0.35em;

  line-height: 100%;

  clear: right;
}

/* Text */

.text_large {
  font-size: 115%;
  font-weight: normal;

  line-height: 135%;
}

.text_normal {
  font-size: 100%;
  font-weight: normal;

  line-height: 125%;
}

.text_small {
  font-size: 85%;
  font-weight: normal;

  line-height: 125%;
}

.text_tiny {
  font-size: 70%;
  font-weight: normal;

  line-height: 100%;
}

b {
  font-weight: bold;
}

u {
  text-decoration: underline;
}

em {
  font-style: italic;
}

cap {
  text-transform: capitalize;
}

tt {
  font-family: fixed, monospace;
}

center {
  text-align: center;
}

p {
  margin-bottom: 15px;
  margin-top: 0px;
}

.quote {
  text-align: center;

  font-size: 110%;
  font-style: italic;

  line-height: 135%;

  padding-left: 4em;
  padding-right: 4em;
}


/* Tables */

table.default {
  table-layout: fixed;

  width: 100%;

  border-width: 0;
}

table.mainpage {
  table-layout: fixed;

  width: 100%;

  border-width: 0;

  margin-bottom: 10px;
  margin-left: auto;
  margin-right: auto;
  margin-top: 10px;
}

table.mainframe {
  table-layout: fixed;

  width: 95%;   /* IE adds padding and margin on top of width :( */

  border-width: 0;

  font-size: 100%;
  font-weight: normal;

  line-height: 125%;
}

caption {
  font-size: 125%;

  text-align: center;

  margin-bottom: 10px;
  margin-top: 10px;
}

tr {
  vertical-align: top;
}

tr.middle {
  vertical-align: middle;
}

th {
  padding-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 5px;
}

th.center {
  text-align: center;
}

th.left {
  text-align: left;
}

th.right {
  text-align: right;
}

td {
  padding-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 5px;
}

td.emptyrow {
  height: 15px;
}

td.center {
  text-align: center;
}

td.left {
  text-align: left;
}

td.menu {
  padding-left: 0px;
  padding-right: 0px;
}

td.right {
  text-align: right;
}


/* Main Menu */

div#menu {
  width: 11.5em;

  font-family: sans-serif;
  font-size: 85%;
  font-weight: 800;

  margin-bottom: 5em;
  margin-right: 1em;   /* Required. Otherwise, Opera doesn't display border
                          (rigth-width) properly when using margin-left: 0; */
  margin-top: -1em;
}

div#menu ul {
  display: block;

  text-decoration: none;

  margin-left: 0;

  padding-left: 0;

  line-height: 150%;

  list-style-image: none;
  list-style-type: none;
}

div#menu ul li {
  padding-bottom: 0;
}

li.menuheader {
  color: navy;

  margin-bottom: -0.3em;
  margin-top: 1em;
}

li.nolink {
  display: block;

  width: 100%;

  background-color: white;
  color: black;

  font-weight: normal;

  text-decoration: none;

  margin-top: 0.3em;

  padding-left: 0.8em;

  border: 1px solid navy;
}

div#menu ul li a {
  display: block;

  width: 100%;

  background-color: white;
  color: black;

  font-weight: normal;

  text-decoration: none;

  margin-top: 0.3em;

  padding-left: 0.4em;

  border-color: navy;
  border-style: solid;
  border-width: 1px;
  border-left-color: navy;
  border-left-style: solid;
  border-left-width: 0.4em;
}

div#menu ul li a:hover {
  background-color: navy;
  color: white;
}

div#menu ul li.submenu a {
  width: 85%;

  margin-left: 15%;
  margin-top: 0.3em;

  padding-left: 0.4em;

  border-color: navy;
  border-style: solid;
  border-width: 1px;
  border-left-color: navy;
  border-left-style: solid;
  border-left-width: 0.4em;
}

div#menu ul li.submenu a:hover {
  background-color: navy;
  color: white;
}


/* MainFrame Contents */

div.contents {
  background-color: rgb(211,211,211);

  border-color: rgb(105,105,105);
  border-style: solid;
  border-width: 2px;

/*  margin-bottom: 0.5em;
  margin-left: 0.5em;
  margin-right: 0.5em;
  margin-top: 0.5em;*/

  padding-bottom: 1em;
  padding-left: 1em;
  padding-right: 0em;   /* IE adds padding and margin on top of width :( */
  padding-top: 1em;
}


/* Images */
img.w3cvalidators {
  border: 0;

  width: 88px;
  height: 31px;
}

img.\3180x120 {
  border: 0;

  width: 180px;
  height: 120px;
}

img.\3220x146 {
  border: 0;

  width: 220px;
  height: 146px;
}


/* Lines and Boxes */

hr {
  width: 100%;

  text-align: center;

  border-top-color: rgb(105,105,105);
  border-top-style: solid;
}

/* Miscellaneous */

div#copyright {
  width: 100%;

  font-size: 85%;
  font-weight: normal;

  padding-top: 1em;

  border-top-color: rgb(105,105,105);
  border-top-style: solid;
  border-top-width: 2px;
}