a {
    color: #307082;
}
a:hover {
    color: #D60808;
}
acronym {
    border: none;
}

div.menu {
  margin: 0;
  padding-left: 24px;
  padding-top: 4px;
  padding-right: 9px;
}

body {
    margin: 0;
    padding: 0;
    color: #333;

    font: 12px Trebuchet MS, Lucida Sans Unicode, Arial, sans-serif;
    text-align: center;

    background: #e3dfdc;
}

div.container {
    margin: 0 auto;
    padding: 0 auto;
    width: 940px;

  position: relative;

/*    padding-right: 5px; */
/*    padding-bottom: 2px; */
    text-align: left;

    background: #FFF url(container.png) repeat-y;
}

div.allmenu {
    font-size: 11px;
    width: 890px;
    height: 205px;
/*  padding-top: 3px; */
/*  padding-left: 125px; */
    background: #FFF url("background.jpg") no-repeat;
 /*   margin-top: 10px; */
    margin-left: 30px;
 /*   color: #fff; */
}

div.allmenu p {
  /* work arround Mozilla/Safari issue - they puts the links in an own
     paragraph - maybe feature ... */
  margin: 0em;
  /* margin-bottom: 0em; */
}

div.allmenu a:link, div.allmenu a:visited {
  color: inherit;
  text-decoration: none;
}

div.allmenu a:hover {
  background: #4dc4c4;
  color: #000000;
}

div.sidemenu {
    position: absolute;
    top: 72px;
    left: 45px;
    width: 150px;
    text-align: left; /* right; */
}

div.sidemenu p {
  margin: 0;
  padding-right: 25px;
  color: #09345f;
  font-size: 20px;
}

div.sidemenu ul {
  padding-left: 10px;
}

div.sidemenu a:link, div.sidemenu a:visited {
  font-size: 95%;
  font-weight: normal;

  color: inherit;
  text-decoration: none;
}

div.sidemenu a:hover {
  background: #4dc4c4;
  color: #000000;
}

div.page {
    margin: 0 20px 0 192px;
    margin-right: 30px;
    margin-bottom: 5px;

    min-height: 400px;

    clear: both;
    line-height: 150%;
}

div.page img {
  float: left; 
  padding-right: 1em;
  padding-bottom: 1em;

  /* Mozilla has a rather ugly default of borders around any-link-img */
  border-style: none;
}

div.left img {
  float: left;
  padding-left: 0px;
  padding-right: 1em;
  padding-top: 0px;
  padding-bottom: 1em;
}

div.right img {
  float: right;
  padding-left: 1em;
  padding-right: 0px;
  padding-top: 0px;
  padding-bottom: 1em;
}

div.page p {
  /* width: 80%; */
  text-align: justify;
}

div.p {
  clear: both;
}

div.page table {
  /* width: 80%; */
}

div.page h2 {
  font-size: 18px;

  font-weight: bold;
/* text-transform: uppercase; */
  color: #09345f;
}

div.page h3 {
  font-size: 16px;

  font-weight: bold;
/* text-transform: uppercase; */
  color: #09345f;
}

div.code {
  margin-top: 1em;
  margin-bottom: 1em;
  
  background-color: #DDDDDD;
  
  font-family: monospace, mono, monotype, serif, sans-serif;
}

div.screen {
  margin-top: 1em;
  margin-bottom: 1em;

  background-color: #000;
  color: #FFF;

  font-family: monospace, mono, monotype, serif, sans-serif;

  /* width: 80%; */
}

div.footer {
  width: 100%;
  text-align: center;
  font-style: italic; 
  font-size: 10px;
  
  margin: 0;
  padding: 0;

  height: 40px;
  padding-bottom: 8px;
  
  background: url(container-bottom.png) no-repeat left bottom;
  /*background-position: left bottom; */
}

div.head {
  font-size: 112%;
  font-weight:bold;
}

div.cont {
  text-align: justify;

  margin-left: 2em;
  margin-bottom: 1.5em;
  /* or better: text-indent: ... */
  /* width: 540px; */
}

div.side {
  margin-left: 2em;
  margin-bottom: 1.5em;
}

div.news {
  font-size: 150%;
  font-weight:bold;
}

div.newsdate {
  font-size: 72%;
}

div.newsbody {
  text-align: justify;

  margin-left: 2em;
  margin-bottom: 1.5em;
}

div.subentry {
  font-size: 80%;
  margin-left: 1em;
}

/*@media (min-width:800px) {
    .dslot_1 {
        width: 468px;
        height: 60px;
     }
}*/

/* Mobile optimizations, sigh */
@media only screen and (max-device-width: 480px) {
    body,
    html {
	font-size: 14px;
    }

    div.allmenu {
	width: 0;
	/*visibility: hidden;*/
	height: 0;
    	margin-left: 0;
    }

    div.container {
	width: 100%;
	background: #FFF;
    }

    div.sidemenu {
	position: static;
	top: 0;
	left: 0;
	width: 100%;
    }

    div.page {
	margin: 0 10px;
    }

    div.sidemenu li {
	display: inline;
	list-style-type: none;
	padding-right: 8px;
    }

    div.footer {
	height: auto;
	padding-bottom: 0;
	background: #FFF;
    }
}