.update { float:left; margin:5px; padding:5px; 
          border: 1px solid;  }
.editor { float:left; margin:5px; padding:5px; 
          border: 1px solid;  
          width: 18em; height: 1em; overflow:hidden; }
.about { border: 1px solid; width: 400px; padding: 2px; }



body 
    {
    background-color: LightSlateGray; 
    font-family: verdana, arial;
    color: #666;
    margin: 0 0 0 0;
    height: 100%;
    }

p
    {
    text-align:justify;
    }

#Copyright
    {
    position:relative;
    top: -2em;
    }

#sprachen
    {
    float: right;
    padding: 0px;
    margin: 0px;
    }

#sprachen p 
    {
    padding: 0px;
    margin: 1px;
    }

img.lang_selected
    {
    border: thin solid black;
    }

#alles
    {
	width: 55em;
	min-width: 55em;
	max-width: 65em;
    min-height: 100%;
    margin: 0 auto 0 auto;
    padding: 0 1em 0 1em;
    border-left: 1px dotted lightsteelblue;
    border-right: 1px dotted lightsteelblue;
    background-color: lavender; 
}

#kopf
    {
    position:relative;
    margin-top: 0;
    padding-top: 0.1em;
    padding-bottom: 1em;
    height:110px;
    width: 100%;
    margin-bottom: 1cm;
    }



#logo a 
    {
    float: left;

    margin-right: 1em;
    position:relative; 
    height:102px; 
    width:251px;
    background-image:url(img/bibtex_s.png);
    background-repeat:no-repeat;
    z-index:2;
    }

#logo span
    {
    display:none;
    }


#menu
  {
  position: relative;
  color: white;
  padding: 0em 0em 0em 0em;
  margin: 3em 0 0 0;
  }

#menu ul li
  {
  list-style: none;
  display: inline;
  }

#menu a
  {
  color: white;
  background-color: lightsteelblue;
  text-decoration: none;
  padding: .1ex .5ex;
  border-right: 1px solid gray;
  border-bottom: 1px solid gray;
  }

pre.snippet
    {
    border: thin dashed gray;
    background-color: #EEEEEE;
    padding: 0.5em;
    margin-left: 5em;
    margin-right: 12em;
    }
                            
a.external {
  background: url(/css/img/external.png) center right no-repeat;
  padding-right: 13px;
  }

a.externalX {
  font-size: 13px;
  background: url(/css/img/external.png) center right no-repeat;
  padding-right: 13px;
  }


li {
  font-size: 13px;
  padding-right: 2px;
  }