.box, pre.html {
    padding:5px;
    background-color:#EFEFEF;
    border-color:#AFAFAF;
    border-style: solid;
    border-width:2px;
}

.bar {
    background-color:#afafaf;
    background-image: url(../img/bar.gif);
}   

.highlight {color: blue;}