html, body {
/*height: 100%;*/
    min-width: 768px;
}

body {
    margin-left: 0px;
    margin-top: 0px;
    margin-right: 0px;
    margin-bottom: 0px;
    background-color: #ffffff;
    font-family: Arial;
    font-size: 12px;
    color: #000000;
}

.sourcecode {
    font-family: "Courier New", Courier, mono;
    font-size: 9pt;
    /*background-color: #f8f8f8;*/
    background-color: #F3F7FC;
    color: #0e3693;
    white-space: pre; /*margin: 0px;*/
    padding-top: 10px;
    padding-left: 10px;
    padding-right: 10px; /*padding: 10px;*/
    padding-bottom: 10px;
    margin-right: 30px;
    border: 1px solid #BAC2D5;
    top: 0px;
    margin-bottom: 10px; /*-moz-border-radius: 5px;*/
/*height: auto;*/
/*width: auto;*/
}

#headerBackground {
    background-image: url( /vrmd/images/error/headerBackground.gif );
    position: absolute;
    left: 0px;
    top: 0px;
    width: 100%;
    height: 109px;
}

#headerLogo {
    position: absolute;
    background-image: url( /vrmd/images/error/headerLogoLow.gif );
    background-repeat: no-repeat;
    left: 0px;
    top: 0px;
    width: 920px;
    height: 109px;
}

#main {
    position: absolute;
    left: 30px;
    right: 30px;
    top: 139px;
    /*bottom: 30px;*/
    border: 0px dotted lightgray;
    /*background-color: #f9f9f9;*/
    background-color: #ffffff;
    /*padding-bottom: 10px;*/
    /*margin-bottom: 30px;*/
}

.heading {
    font-size: 18px;
    color: #D21F35;
    margin-bottom: 15px;
}

.descr {
    margin-bottom: 30px;
}

.output {
    background-color: #ffdcdc;
    margin-left: -30px;
    margin-right: -30px;
    padding-top: 30px;
    padding-left: 30px;
    padding-bottom: 30px;
}