/* Cascading Style Sheets -- ISRC, Markus Kirchberg (May 2008) */

/* 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: 175%;
   font-weight: bold;
   color: darkblue;
   line-height: 125%;
   clear: right;
}

H2 {
   font-size: 145%;
   font-weight: bold;
   line-height: 115%;
   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: 85%;
   font-weight: normal;
   line-height: 125%;
}

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

B {
   font-weight: bold;
}

U {
   text-decoration: underline;
}

EM {
   font-style: italic;
}

CAP {
   text-transform: capitalize;
}

RIGHT {
   text-align: right;
}

/* Main Menu */

div.menu {
   width: 10em;

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

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

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

/* Main Page Section */

td.mainpage {
   padding-top: 1em;
   padding-right: 2em;
   padding-left: 2em;
   padding-bottom: 1em;
}

div.mainpage {
   border-style: solid;
   border-width: thin;
   border-color: gray;
   background-color: lightgrey;

   margin-top: 1em;
   margin-right: 2em;
   margin-left: 2em;
   margin-bottom: 1em;

   padding-top: 1em;
   padding-right: 2em;
   padding-left: 2em;
   padding-bottom: 2em;
}