.codehilite {
    background: #f8f8f8;
    border: 1px solid #d5d5d5;
    margin: 1em 0;
    overflow-x: auto;
    padding: 0.75em 1em;
}

.codehilite pre {
    background: transparent;
    border: 0;
    margin: 0;
    padding: 0;
    white-space: pre;
}

.codehilite .hll { background-color: #ffffcc }
.codehilite .c { color: #3d7b7b; font-style: italic }
.codehilite .err { border: 1px solid #ff0000 }
.codehilite .k { color: #008000; font-weight: bold }
.codehilite .o { color: #666666 }
.codehilite .ch { color: #3d7b7b; font-style: italic }
.codehilite .cm { color: #3d7b7b; font-style: italic }
.codehilite .cp { color: #9c6500 }
.codehilite .cpf { color: #3d7b7b; font-style: italic }
.codehilite .c1 { color: #3d7b7b; font-style: italic }
.codehilite .cs { color: #3d7b7b; font-style: italic }
.codehilite .gd { color: #a00000 }
.codehilite .ge { font-style: italic }
.codehilite .gr { color: #e40000 }
.codehilite .gh { color: #000080; font-weight: bold }
.codehilite .gi { color: #008400 }
.codehilite .go { color: #717171 }
.codehilite .gp { color: #000080; font-weight: bold }
.codehilite .gs { font-weight: bold }
.codehilite .gu { color: #800080; font-weight: bold }
.codehilite .gt { color: #0044dd }
.codehilite .kc { color: #008000; font-weight: bold }
.codehilite .kd { color: #008000; font-weight: bold }
.codehilite .kn { color: #008000; font-weight: bold }
.codehilite .kp { color: #008000 }
.codehilite .kr { color: #008000; font-weight: bold }
.codehilite .kt { color: #b00040 }
.codehilite .m { color: #666666 }
.codehilite .s { color: #ba2121 }
.codehilite .na { color: #687822 }
.codehilite .nb { color: #008000 }
.codehilite .nc { color: #0000ff; font-weight: bold }
.codehilite .no { color: #880000 }
.codehilite .nd { color: #aa22ff }
.codehilite .ni { color: #717171; font-weight: bold }
.codehilite .ne { color: #cb3f38; font-weight: bold }
.codehilite .nf { color: #0000ff }
.codehilite .nl { color: #767600 }
.codehilite .nn { color: #0000ff; font-weight: bold }
.codehilite .nt { color: #008000; font-weight: bold }
.codehilite .nv { color: #19177c }
.codehilite .ow { color: #aa22ff; font-weight: bold }
.codehilite .w { color: #bbbbbb }
.codehilite .mb { color: #666666 }
.codehilite .mf { color: #666666 }
.codehilite .mh { color: #666666 }
.codehilite .mi { color: #666666 }
.codehilite .mo { color: #666666 }
.codehilite .sa { color: #ba2121 }
.codehilite .sb { color: #ba2121 }
.codehilite .sc { color: #ba2121 }
.codehilite .dl { color: #ba2121 }
.codehilite .sd { color: #ba2121; font-style: italic }
.codehilite .s2 { color: #ba2121 }
.codehilite .se { color: #aa5d1f; font-weight: bold }
.codehilite .sh { color: #ba2121 }
.codehilite .si { color: #a45a77; font-weight: bold }
.codehilite .sx { color: #008000 }
.codehilite .sr { color: #a45a77 }
.codehilite .s1 { color: #ba2121 }
.codehilite .ss { color: #19177c }
.codehilite .bp { color: #008000 }
.codehilite .fm { color: #0000ff }
.codehilite .vc { color: #19177c }
.codehilite .vg { color: #19177c }
.codehilite .vi { color: #19177c }
.codehilite .vm { color: #19177c }