.pygments-default .hll {
    background-color: #ffffcc
}

.pygments-default .c {
    color: #408080;
    font-style: italic
}

.pygments-default .err {
    border: 1px solid #FF0000
}

.pygments-default .k {
    color: #008000;
    font-weight: bold
}

.pygments-default .o {
    color: #666666
}

.pygments-default .ch {
    color: #408080;
    font-style: italic
}

.pygments-default .cm {
    color: #408080;
    font-style: italic
}

.pygments-default .cp {
    color: #BC7A00
}

.pygments-default .cpf {
    color: #408080;
    font-style: italic
}

.pygments-default .c1 {
    color: #408080;
    font-style: italic
}

.pygments-default .cs {
    color: #408080;
    font-style: italic
}

.pygments-default .gd {
    color: #A00000
}

.pygments-default .ge {
    font-style: italic
}

.pygments-default .gr {
    color: #FF0000
}

.pygments-default .gh {
    color: #000080;
    font-weight: bold
}

.pygments-default .gi {
    color: #00A000
}

.pygments-default .go {
    color: #888888
}

.pygments-default .gp {
    color: #000080;
    font-weight: bold
}

.pygments-default .gs {
    font-weight: bold
}

.pygments-default .gu {
    color: #800080;
    font-weight: bold
}

.pygments-default .gt {
    color: #0044DD
}

.pygments-default .kc {
    color: #008000;
    font-weight: bold
}

.pygments-default .kd {
    color: #008000;
    font-weight: bold
}

.pygments-default .kn {
    color: #008000;
    font-weight: bold
}

.pygments-default .kp {
    color: #008000
}

.pygments-default .kr {
    color: #008000;
    font-weight: bold
}

.pygments-default .kt {
    color: #B00040
}

.pygments-default .m {
    color: #666666
}

.pygments-default .s {
    color: #BA2121
}

.pygments-default .na {
    color: #7D9029
}

.pygments-default .nb {
    color: #008000
}

.pygments-default .nc {
    color: #0000FF;
    font-weight: bold
}

.pygments-default .no {
    color: #880000
}

.pygments-default .nd {
    color: #AA22FF
}

.pygments-default .ni {
    color: #999999;
    font-weight: bold
}

.pygments-default .ne {
    color: #D2413A;
    font-weight: bold
}

.pygments-default .nf {
    color: #0000FF
}

.pygments-default .nl {
    color: #A0A000
}

.pygments-default .nn {
    color: #0000FF;
    font-weight: bold
}

.pygments-default .nt {
    color: #008000;
    font-weight: bold
}

.pygments-default .nv {
    color: #19177C
}

.pygments-default .ow {
    color: #AA22FF;
    font-weight: bold
}

.pygments-default .w {
    color: #bbbbbb
}

.pygments-default .mb {
    color: #666666
}

.pygments-default .mf {
    color: #666666
}

.pygments-default .mh {
    color: #666666
}

.pygments-default .mi {
    color: #666666
}

.pygments-default .mo {
    color: #666666
}

.pygments-default .sa {
    color: #BA2121
}

.pygments-default .sb {
    color: #BA2121
}

.pygments-default .sc {
    color: #BA2121
}

.pygments-default .dl {
    color: #BA2121
}

.pygments-default .sd {
    color: #BA2121;
    font-style: italic
}

.pygments-default .s2 {
    color: #BA2121
}

.pygments-default .se {
    color: #BB6622;
    font-weight: bold
}

.pygments-default .sh {
    color: #BA2121
}

.pygments-default .si {
    color: #BB6688;
    font-weight: bold
}

.pygments-default .sx {
    color: #008000
}

.pygments-default .sr {
    color: #BB6688
}

.pygments-default .s1 {
    color: #BA2121
}

.pygments-default .ss {
    color: #19177C
}

.pygments-default .bp {
    color: #008000
}

.pygments-default .fm {
    color: #0000FF
}

.pygments-default .vc {
    color: #19177C
}

.pygments-default .vg {
    color: #19177C
}

.pygments-default .vi {
    color: #19177C
}

.pygments-default .vm {
    color: #19177C
}

.pygments-default .il {
    color: #666666
}