#logo {
    background: white;
    background-image: url("images/logo.png");
    background-position: center;
    background-repeat: no-repeat;
 
    /*border: 1px solid gray;*/

    text-align: center;
    font-size: 20px;
    font-weight: bold;

    position: absolute;
    left: 5px;
    top: 5px;

    height: 40px;
    width: 99%;    
}

#menu {
    background: white;
    
    border: 2px solid gray;

    position: absolute;
    top: 55px;
    left: 5px;
    width: 15%;
}



#menu h1 {
    font-size: 14px;
    margin: 1em 0 1em 1em;
}

#menu ul.menulist {
    font-size: 1em;
    line-height: 1em;
    list-style: none;
    margin: 0 0 0 1em;
    padding: 0;
}

#menu ul.menulist li {
    margin: 0 0 0.5em 0;
}

#text {
    border: 2px solid gray;
    margin: 55px 0 0 16%;   
    padding: 0.5em 2em 2em 2em;
}

div {
    margin: 0;
    padding: 0;
}

body {
    font-family: sans-serif;
    font-size: 10pt;

    background: white;
    color: black;
    
    margin: 0 5px 5px 0;
    padding: 0;
}

div.last_change {
  /*margin-top: 3em;*/
  font-size: 80%;
  font-style: italic;
  text-align: right;
}
 
.align-left {
    float: left;
}

.align-right {
    float: right;
}

.margin {
    margin: 3px;
}

.noborder {
    border: 0px;
}
 
a {
  text-decoration: none;
}
a:link {
  color: blue;
}
a:visited {
  color: red;
}
a:hover {
  background: yellow;
}
a:active {
  color: blue;
}