pre.configcode {
    text-indent: 0;
    text-align: justify;
    margin: 1em 2em;
    background-color: rgb(245,245,248);
    color: rgb(0,0,102);
}
div.example {
    text-indent: 10;
    text-align: justify;
    margin: 1em 2em;
    padding: 10pt 10pt;
    background-color: rgb(255,240,192);
    color: rgb(0,60,0);
}
.errorcode {color: navy; font-style: italic;}
.token {color: red; font-style: italic;}
b.parameter {color: rgb(96,0,0);}
.property {color: navy; font-weight: bold;}