body{
    background-size: cover;
    background-color:rgb(247, 238, 197);
    font-size: 1.5em;
    /*background-image:linear-gradient(white, rgb(113, 114, 31));   */
}
pre{
    color: black; 
    /*line-height: 8px;*/ /* nur benutzen wenn <br> benutzt wird*/
}
.language-html,.html{
    background-color: rgb(219, 219, 219);/*#C0C0C0;*/ /*silver*/
    border-style: solid;
    border-radius: 5px;
    border-width: 1px;
}
.cntr{
    text-align: center;
}
#hdr_logout{
    display: block;
    margin: auto ; 
    width: 8%
    
}
#hdr_logout>a{
    color: rgb(33, 21, 172);
    font-weight: bold;  
    text-decoration: none;
    border-style: none;
    border-radius: 3pt;
    background-color: grey;
    padding: 4pt;
    
}