div.insert {
    background-color: #dde;
    border: 2px solid black;
    margin: 0 50px 0 50px;
    padding: 0 10px 0 10px;
}
table, th, td {
    border: 1px solid black;
    border-collapse: collapse;
}
.syntax0 {
    color: #000000;
}
.syntax1 {
    color: #cc0000;
}
.syntax2 {
    color: #ff8400;
}
.syntax3 {
    color: #6600cc;
}
.syntax4 {
    color: #cc6600;
}
.syntax5 {
    color: #ff0000;
}
.syntax6 {
    color: #9966ff;
}
.syntax7 {
    background: #ffffcc;
    color: #ff0066;
}
.syntax8 {
    color: #006699;
    font-weight: bold;
}
.syntax9 {
    color: #009966;
    font-weight: bold;
}
.syntax10 {
    color: #0099ff;
    font-weight: bold;
}
.syntax11 {
    color: #66ccff;
    font-weight: bold;
}
.syntax12 {
    color: #02b902;
}
.syntax13 {
    color: #339900;
    font-weight: bold;
}
.syntax14 {
    color: #666600;
    font-weight: bold;
}
.syntax15 {
    color: #9900cc;
}
.syntax16 {
    color: #6600cc;
}
.syntax17 {
    color: #0000ff;
    font-weight: bold;
}
.syntax18 {
    color: #000000;
    font-weight: bold;
}
.gutter {
    background: #dbdbdb;
    color: #000000;
}
.gutterH {
    background: #dbdbdb;
    color: #666699;
}
DIV.code {
    white-space: pre;
    font-family: monospace;
    background: #eef;
    border: 1px solid black;
}
table.code, table.code td, table.code th {
    border: 0;
    margin: 0 0 0 0;
    padding: 0 0 0 0;
}
PRE.gutter {
    margin: 0 0 0 0;
}
PRE.code {
    margin: 0 0 0 2px;
}
P.caption {
    font-family: sans-serif;
    font-style: italic;
    font-size: 90%;
    text-align: center;
    margin: 3px 0 0 0;
}

DIV.toc {
}
DIV.toc1 {
    font-size: 120%;
    line-height: 120%;
    font-weight: bold;
}
DIV.toc2 {
    font-weight: bold;
    margin-left: 4em;
}
DIV.toc3 {
    font-style: italic;
    margin-left: 8em;
}
A.toc:link, A.toc:visited {
    color: black;
    text-decoration: none;
    display: block;
}
A.toc:hover, A.toc:active, A.toc:focus {
    color: blue;
    text-decoration: underline;
    display: block;
}

/*
h1:before { content: counter(chapterCount) ' '; } }
h2:before { content: counter(chapterCount) '.' counter(sectionCount) ' '; } }
h1 {
    counter-increment: chapterCount;
    counter-reset: sectionCount;
}
h2 {
    counter-increment: sectionCount;
}
*/
/* :indentSize=4:tabSize=8:mode=css:wrap=soft:encoding=iso-8859-1: */