pre {
    color:#1f6f1f;
    background-color:#effff7;
    margin:1em 1em 0 0;
    border:2px dotted #bfcfc7;
    padding:5px;
    overflow:auto;
}


.line {
    height: 1.3em;
}

p { 
    margin:0.6em 0 1.2em;
    padding:0;
}

#logger {
    display:none;
}


#code {
    display:none;
}