/* Cascading Style Sheets -- FoIKS, Markus Kirchberg (May 2007) */

/* General */

body {
  background-color: white;

  font-family: sans-serif;
  font-style: normal;
  font-size: 95%;
  text-indent: 0px;
  text-align: left;
}

/* Headings */

h1 {
   font-size: 150%;
   font-weight: bold;
   color: darkblue;
   line-height: 115%;
   clear: right;
}

h2 {
   font-size: 135%;
   font-weight: bold;
   line-height: 110%;
   margin-bottom: 0.75em;
   clear: right;
}

h3 {
   font-size: 120%;
   font-weight: normal;
   line-height: 105%;
   margin-bottom: 0.5em;
   clear: right;
}

h4 {
   font-size: 100%;
   font-weight: bold;
   line-height: 100%;
   margin-bottom: 0.35em;
   clear: right;
}

h5 {
   font-size: 85%;
   font-weight: bold;
   line-height: 85%;
   margin-bottom: 0.25em;
   clear: right;
}

/* Text */

.text_small {
   font-size: 80%;
   font-weight: normal;
   line-height: 125%;
}

.text_normal {
   font-size: 95%;
   font-weight: normal;
   line-height: 125%;
}

b {
   font-weight: bold;
}

u {
   text-decoration: underline;
}

strike {
   text-decoration: line-through;
}

em {
   font-style: italic;
}

tt {
   font-family: fixed;
}

/* Main Menu */

div#menu {
   width: 12em;

   font-family: sans-serif;
   font-size: 0.8em;
   font-weight: 800;

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

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

li.menuheader {
   color: darkblue;

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

li.nolink {
   display: block;
   text-decoration: none;

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

   color: black;
   background-color: white;

   border: 1px solid darkblue;
}

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

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

   color: black;
   background-color: white;

   border: 1px solid darkblue;
   border-left: 0.4em solid darkblue;
}

div#menu a:hover {
   background-color: darkblue;
   color: white;
}