pre.command {
        background-color:#DDFFFF;
        color:#000000;
        border: solid thin #808080;
}
pre.config {
        background-color:#FFDDFF;
        color:#000000;
        border: solid thin #808080;
}
pre.program {
        background-color:#FFFFDD;
        color:#000000;
        border: solid thin #808080;
}
div.point {
        background-color:#FFEEEE;
        color:#000000;
        border: solid thin #808080;
        width: 70%;
}