/* Cascading Style Sheets -- Markus Kirchberg (October 2008) */


/* General */

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

  font-family: sans-serif;
  font-style: normal;
  font-size: 11pt;

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


/* Main Menu */

div.menu {
   width: 10em;

   font-family: sans-serif;
   font-size: 0.8em;
   text-align: center;

   margin-left: auto;
   margin-right: auto;
}

div.menu ul {
   display: block;
   text-decoration: none;

   list-style-type: none;
   margin-left: 0;
   padding-left: 0;
   line-height: 150%;
}

div.menu ul li {
   list-style-image: none;
   list-style-type: none;
   padding-bottom: 0;
}

div.menu a {
   display: block;
   text-decoration: none;

   width: 100%;
   margin-top: 0.3em;
   font-weight: normal;

   color: black;
   background-color: white;

   border: 2px solid navy;
}

div.menu a:hover {
   background-color: navy;
   color: white;
}


/* Contents */

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

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

  margin: 1.5em;
  padding: 1.5em;
}

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

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

  margin: 1.5em;
  padding: 1.5em;
}


/* Tables */

table.default {
  table-layout: fixed;
  width: 100%;
  border-width: 0;
}

tr,th,td.centered {
  text-align: center;
  vertical-align: middle;
}

tr,th,td.top-left {
  text-align: left;
  vertical-align: top;
}


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