body {
      padding-left: 13em;
      padding-right: 1em;
      color: #000000;
      background-color: #EEEEFF;
      background-image: url(../pictures/borderlong_fancy.gif);
      font-size: 10pt;
      /*max-width: 800px;
      overflow: scroll; */ /* visible in ie: no scrollbar at all anymore!!! */
      font-family: 'Arial'; /*'Times New Roman'; */
}
body table { 
      font-size: 10pt;	/* sollte nicht extra notwendig sein, aber ohne 
      			 * ist die Schriftgroesse in einer Tabelle zu gross!*/
}

h1 {  
      font-family: 'Arial'; /*'Times New Roman'; */
      /*font-variant: small-caps;*/
      font-size: 180%;
      /*font-family: Helvetica, Geneva, Arial,
            SunSans-Regular, sans-serif*/ }

a:link {
      color: #000099 }
a:visited {
      color: #3399CC }
a:hover { 
      font-weight: normal;
      color: #990099 }



/*================== N A V I G A T I O N =================*/

/**** special style for the flag to change language ****/      
/* (only necessary as long as real navbar is not used) */
/* now only used for sites with back-arrow instead of navigation menu */

ul.navflag {
      list-style-type: none;
      padding: 0;
      margin: 0; 
      position: absolute;
      top: 3em;
      left: 1.5em;
      width: 9em;
      }
ul.navflag li {
      margin: 0.5em 0;
      padding: 0.3em;
      height: 2em;
      font-weight: normal;
      }
ul.navflag a {
      text-decoration: none }
/*** If hovering above the <li> cell: */
/* no use!!! 
ul.navflag li:hover,
  .navflag li a:hover{
      font-weight: bold;
      color: #0000FF;
      }
*/
ul.navflag,
  .navflag a:hover{
      font-weight: bold;
      color: #0000FF
      }

/*************** Nav bar (original with pull-out menu) ******************/

ul.nav, 
  .nav ul {
/*Remove all spacings from the list items*/
      list-style-type: none;
      padding: 0;
      margin: 0;
      cursor: default;

/*Put it to the very left*/
      position: absolute;
      left: 10px;
      width: 110px;	/*width for one nav. bar item*/
      /*Need to use pixel-values, because border has a fixed pixel-width!!*/ 
}

ul.nav li {
      position: relative;	
      /* wichtig!!! (damit sub-Liste da erscheint, wo sie sollte) */
   
      background: #FFCC66;
      margin-top: 5pt;
      /* padding: space around the text, i.e. size of the 'button'*/
      padding: 3pt;

      border-right: 2px solid #993300;
      border-bottom: 2px solid #993300;


      font-weight: normal;
      text-align: center;
}   
	
/* mark the current page */
ul.nav li.here {
      background: #CCCCFF;
      border-right: 2px solid #333399;
      border-bottom: 2px solid #333399;
}

/* mark page leading to sorry.html */
ul.nav li.sorry {
      background: #C3C3C3;
      border-right: 2px solid #333333;
      border-bottom: 2px solid #333333;
}

ul.nav a {
      text-decoration: none;
      color: #330000;
      font-weight: normal;
      /* background: #FFCC66; 
      do not mark the text additionally, background of the link will then be shown with this color, regardless of the background color defined above!*/ 
}

ul.nav a:visited {
      color: 993333; //#363636;
}

/* highlighten the navigation menu links, if hovered */
ul.nav,
  .nav a:hover {
      color: #FFFFFF;       /*  ie ignores the color, just makes bold for visited links */
      font-weight: bold;  
      /* Is valid also for subitems!!! (automatically) */
      }
/* Don't do that for the current page */

ul.nav a:visited:hover {
      color: #FFFFFF; /* needed by ie!!! */
}

table {
      font-size: small;  /* firefox ignoriert das, wenn table mit class definiert??*/
      }
     
address {
      margin-top: 1em;
      padding-top: 1em;
      border-top: thin solid }
      
table.nice {
   background: #FFFFdC;
   border: 1px solid silver;
   /*cellspacing: 1;
   cellpadding: 1;*/
   /*width: 100%; /* 170px */  
   /*height: 100%; /* 30px */
   text-align: left; 
   font-weight: normal;
   font-size: 100%;
}

table.nice td {
           padding: 10px; 
 }
 
img {
    background-color: #FFF;
 }