table.sourceCode,
tr.sourceCode,
td.lineNumbers,
td.sourceCode,
table.sourceCode pre {
    margin: 0;
    padding: 0;
    border: 0;
    vertical-align: baseline;
    border: none
}

td.lineNumbers {
    border-right: 1px solid #AAAAAA;
    text-align: right;
    color: #AAAAAA;
    padding-right: 5px;
    padding-left: 5px
}

td.sourceCode {
    padding-left: 5px
}

pre.sourceCode span.kw {
    color: #007020;
    font-weight: bold
}

pre.sourceCode span.dt {
    color: #902000
}

pre.sourceCode span.dv {
    color: #40a070
}

pre.sourceCode span.bn {
    color: #40a070
}

pre.sourceCode span.fl {
    color: #40a070
}

pre.sourceCode span.ch {
    color: #4070a0
}

pre.sourceCode span.st {
    color: #4070a0
}

pre.sourceCode span.co {
    color: #60a0b0;
    font-style: italic
}

pre.sourceCode span.ot {
    color: #007020
}

pre.sourceCode span.al {
    color: red;
    font-weight: bold
}

pre.sourceCode span.fu {
    color: #06287e
}

pre.sourceCode span.re {}

pre.sourceCode span.er {
    color: red;
    font-weight: bold
}