.syncode {
    background-color: #c0c0c0;
    border: 1px solid black;
    padding: 5px;
    margin-left:  1em;
    margin-right: 1em;
    white-space: pre;
}
.synH1 {
    background-color: rgb(255, 255, 255);
    padding-top:      1ex;
    padding-bottom:   1ex;
    padding-left:     0ex;
    padding-right:    0ex;
    margin:           0px;
}
.synHead {
    background-color: rgb(255, 255, 255);
    border: 1px solid black;
    width:            90%;
    padding-left:     0ex;
    padding-right:    0ex;
    padding-top:      0ex;
    padding-bottom:   0ex;
    margin-left:      0em;
    margin-right:     0em;
    margin-top:       1ex;
    margin-bottom:    1ex;
}
.synLine {
    background-color: #c0c0c0;
    color: rgb(  0, 0, 180);
    font-weight: normal;
}
.synLineHot {
    background-color: #c0c0c0;
    color: rgb(100, 0, 220);
    font-weight: bold;
}
.synSpace          { background-color: #c0c0c0;                          }
.synIdent          { background-color: #c0c0c0; color: rgb(  0,   0,   0);                   }
.synIdentLink      { background-color: #c0c0c0; color: rgb(  0,   0,   0);             text-decoration: underline; }
.synResStatic      { background-color: #c0c0c0; color: rgb(127, 127,   0);  font-weight: bold;       }
.synResStaticLink  { background-color: #c0c0c0; color: rgb(127, 127,   0);  font-weight: bold; text-decoration: underline; }
.synResConst       { background-color: #c0c0c0; color: rgb(127, 127,   0);  font-weight: bold;       }
.synResConstLink   { background-color: #c0c0c0; color: rgb(127, 127,   0);  font-weight: bold; text-decoration: underline; }
.synResPublic      { background-color: #c0c0c0; color: rgb(127,   0, 127); font-weight: bold;       }
.synResPublicLink  { background-color: #c0c0c0; color: rgb(127,   0, 127); font-weight: bold; text-decoration: underline; }
.synResInt         { background-color: #c0c0c0; color: rgb(  0, 100,   0);   font-weight: normal;       }
.synResIntLink     { background-color: #c0c0c0; color: rgb(  0, 100,   0);   font-weight: normal; text-decoration: underline; }
.synResIf          { background-color: #c0c0c0; color: rgb(127,   0, 127); font-weight: bold;       }
.synResIfLink      { background-color: #c0c0c0; color: rgb(127,   0, 127); font-weight: bold; text-decoration: underline; }
.synResAssert      { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold;       }
.synResAssertLink  { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold; text-decoration: underline; }
.synPreProc        { background-color: #c0c0c0; color: rgb(127, 127,   0);  font-weight: bold;       }
.synPreProcLink    { background-color: #c0c0c0; color: rgb(127, 127,   0);  font-weight: bold; text-decoration: underline; }
.synInt            { background-color: #c0c0c0; color: rgb(  0,   0,   0);                   }
.synIntLink        { background-color: #c0c0c0; color: rgb(  0,   0,   0);             text-decoration: underline; }
.synOp             { background-color: #c0c0c0; color: rgb(  0,   0, 100);    font-weight: bold;       }
.synOther          { background-color: #c0c0c0; color: rgb(  0,   0, 100);    font-weight: bold;       }
.synFloat          { background-color: #c0c0c0; color: rgb(  0,   0,   0);                   }
.synFloatLink      { background-color: #c0c0c0; color: rgb(  0,   0,   0);             text-decoration: underline; }
.synHotComment     { background-color: #c0c0c0; color: rgb(255, 255, 127); font-weight: bold;       }
.synHotCxxComment  { background-color: #c0c0c0; color: rgb(255, 255, 127); font-weight: bold;       }
.synHotCommentLink { background-color: #c0c0c0; color: rgb(255, 255, 127); font-weight: bold; text-decoration: underline; }
.synCxxComment     { background-color: #c0c0c0; color: rgb(255, 255, 255);       font-weight: bold;       }
.synCxxCommentLink { background-color: #c0c0c0; color: rgb(255, 255, 255);       font-weight: bold; text-decoration: underline; }
.synComment        { background-color: #c0c0c0; color: rgb(255, 255, 255);       font-weight: bold;       }
.synCommentLink    { background-color: #c0c0c0; color: rgb(255, 255, 255);       font-weight: bold; text-decoration: underline; }
.synCommentERR     { background-color: #c0c0c0; color: rgb(255,   0,   0);    font-weight: bold;       }
.synSymbol         { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold;       }
.synSymbolLink     { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold; text-decoration: underline; }
.synString         { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold;       }
.synStringLink     { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold; text-decoration: underline; }
.synStringERR      { background-color: #c0c0c0; color: rgb(255,   0,   0);    font-weight: bold;       }
.synChar           { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold;       }
.synCharLink       { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold; text-decoration: underline; }
.synCharERR        { background-color: #c0c0c0; color: rgb(255,   0,   0);    font-weight: bold;       }
.synBackslashCR    { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold;       }
.synBackslashOther { background-color: #c0c0c0; color: rgb(210,   0,   0);     font-weight: bold;       }
.synOther          { background-color: #c0c0c0; color: rgb(  0, 100,   0);   font-weight: normal;       }