pre.programlisting {
    background-color: #EEEEEE ;
    padding: 0.5ex ;
}

pre.screen {
    background-color: #EEEEEE ;
}

span.remark {
    background-color: #FFFFCC ;
    padding: 0.5ex ;
    opacity: 0.6 ;
}