.highlight table td { padding: 5px; } .highlight table pre { margin: 0; } .highlight .c, .highlight .cd, .highlight .cm, .highlight .c1 {
color: #888888;
} .highlight .cp {
color: #cc0000; font-weight: bold;
} .highlight .cs {
color: #cc0000; background-color: #fff0f0; font-weight: bold;
} .highlight .err {
color: #a61717; background-color: #e3d2d2;
} .highlight .gr {
color: #aa0000;
} .highlight .gh {
color: #333333;
} .highlight .gu {
color: #666666;
} .highlight .gd {
color: #000000; background-color: #ffdddd;
} .highlight .gi {
color: #000000; background-color: #ddffdd;
} .highlight .ge {
font-style: italic;
} .highlight .gs {
font-weight: bold;
} .highlight .gl {
color: #888888;
} .highlight .go {
color: #888888;
} .highlight .gp {
color: #555555;
} .highlight .gt {
color: #aa0000;
} .highlight .k, .highlight .kc, .highlight .kd, .highlight .kn, .highlight .kr, .highlight .kv {
color: #008800; font-weight: bold;
} .highlight .kp {
color: #008800;
} .highlight .kt {
color: #888888; font-weight: bold;
} .highlight .m, .highlight .mf, .highlight .mh, .highlight .mi, .highlight .il, .highlight .mo, .highlight .mb, .highlight .mx {
color: #0000dd; font-weight: bold;
} .highlight .s, .highlight .sb, .highlight .sc, .highlight .sd, .highlight .s2, .highlight .sh, .highlight .s1 {
color: #dd2200; background-color: #fff0f0;
} .highlight .se {
color: #0044dd; background-color: #fff0f0;
} .highlight .si {
color: #3333bb; background-color: #fff0f0;
} .highlight .sx {
color: #22bb22; background-color: #f0fff0;
} .highlight .sr {
color: #008800;
} .highlight .ss {
color: #aa6600; background-color: #fff0f0;
} .highlight .na {
color: #336699;
} .highlight .nb, .highlight .bp {
color: #003388;
} .highlight .nc {
color: #bb0066; font-weight: bold;
} .highlight .no {
color: #003366; font-weight: bold;
} .highlight .nd {
color: #555555;
} .highlight .ne {
color: #bb0066; font-weight: bold;
} .highlight .nf {
color: #0066bb; font-weight: bold;
} .highlight .nl {
color: #336699;
} .highlight .nn {
color: #bb0066; font-weight: bold;
} .highlight .py {
color: #336699; font-weight: bold;
} .highlight .nt {
color: #bb0066; font-weight: bold;
} .highlight .nv, .highlight .vc {
color: #336699;
} .highlight .vg {
color: #dd7700;
} .highlight .vi {
color: #3333bb;
} .highlight .ow {
color: #008800;
} .highlight .w {
color: #bbbbbb;
}