BODY {
  color: #000000; 
  background: #FFFFFF;
  font-family: sans-serif, Helvetica, Arial;

  background-image: url("esemi.png");
  background-repeat: no-repeat;
  background-position: right bottom;
}

div.menu {
  margin: 0;
}

/*
div.allmenu:before {
  content:url("ehash.png");
  float: left;
}

div.allmenu:after {
}
*/

div.allmenu {
  background-image: url("ehash.png"); 
  background-repeat: no-repeat;
  background-position: left top;
  height: 80px; /*from image*/
  min-width: 100px;
  
  color: #111188;
  
  padding-top: 46px;
  padding-left: 96px;
  
  font-size: 105%;
  font-weight: bold;
  line-height: 1.2;
  text-align: left;
  
  /* left: 20px;
     right: 20px; */
  overflow: visible;
  
/* border: thin solid #999;
   border-color: #025c7f;*/
}

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: #BBBBFF;
  color: #000000;
}

div.sidemenu {
  /* background: #DDDDDD; */
  color: #111188;

  font-size: 105%;
  font-weight: bold;

  margin: 0px;
  padding: 0.3em 0.4em;

  font-size: 105%;
  font-weight: bold;
  line-height: 1.2;
  text-align: left;
  
  position: absolute;
  
  top: 125px;
  left: 18px;
/*  width: 11em; */
  
/*  min-width: 10em;
    max-width: 12em;
    right: auto; */

/*  border: thin solid #999;
  border-color: #025c7f; */
}

div.sidemenu p {
  margin: 0;
  color: black; /* text color */
}

div.sidemenu a:before {
  content: "�";
}

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

  color: inherit;
  text-decoration: none;
}

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

div.page {
  margin-top: -3em;
  margin-left: 14em;
  margin-bottom: 2em;

  width: 70%;

  /* background-color: #ffffff; */
  /* border: solid medium #DDDDDD; */


  /* border: thin outset #999;
     border-color: #025c7f; */

  clear:both;
}

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 h2 {
  clear: left;
}

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

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

  /* width: 80%; */
}

div.footer {
  margin: 0 0 0 0;
  padding: 20px 90px 0 0;
  width: 100%y;
  text-align: right;
  font-style: italic;
  font-size: 80%;
}

/*
div.footer:after {
  content:url("esemi.png");
}
*/