div#help {
    font-family: monospace;
    border: 1px solid #8cacbb;  
    color: black;
    background-color: white;
    padding: 3px;
    margin: 2em 0 2em 0;
    font-size: small;
    background-color: #EEEEFF;
}

div#help dt {
   padding-top: 1em;
}

div#timestamp {
   padding-bottom: 1em;
}