/* print HtmlFormatter().get_style_defs('.highlight')*/
.highlight .cm {
- color: #999988;
- font-style: italic;
+ color: #999988;
+ font-style: italic;
}
.highlight .cp {
- color: #999999;
- font-weight: bold;
+ color: #999999;
+ font-weight: bold;
}
.highlight .c1 {
- color: #999988;
- font-style: italic;
+ color: #999988;
+ font-style: italic;
}
.highlight .cs {
- color: #999999;
- font-weight: bold;
- font-style: italic;
+ color: #999999;
+ font-weight: bold;
+ font-style: italic;
}
.highlight .c, .highlight .cd {
- color: #999988;
- font-style: italic;
+ color: #999988;
+ font-style: italic;
}
.highlight .err {
- color: #a61717;
- background-color: #e3d2d2;
+ color: #a61717;
+ background-color: #e3d2d2;
}
.highlight .gd {
- color: #000000;
- background-color: #ffdddd;
+ color: #000000;
+ background-color: #ffdddd;
}
.highlight .ge {
- color: #000000;
- font-style: italic;
+ color: #000000;
+ font-style: italic;
}
.highlight .gr {
- color: #aa0000;
+ color: #aa0000;
}
.highlight .gh {
- color: #999999;
+ color: #999999;
}
.highlight .gi {
- color: #000000;
- background-color: #ddffdd;
+ color: #000000;
+ background-color: #ddffdd;
}
.highlight .go {
- color: #888888;
+ color: #888888;
}
.highlight .gp {
- color: #555555;
+ color: #555555;
}
.highlight .gs {
- font-weight: bold;
+ font-weight: bold;
}
.highlight .gu {
- color: #aaaaaa;
+ color: #aaaaaa;
}
.highlight .gt {
- color: #aa0000;
+ color: #aa0000;
}
.highlight .kc {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kd {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kn {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kp {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kr {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .kt {
- color: #445588;
- font-weight: bold;
+ color: #445588;
+ font-weight: bold;
}
.highlight .k, .highlight .kv {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .mf {
- color: #009999;
+ color: #009999;
}
.highlight .mh {
- color: #009999;
+ color: #009999;
}
.highlight .il {
- color: #009999;
+ color: #009999;
}
.highlight .mi {
- color: #009999;
+ color: #009999;
}
.highlight .mo {
- color: #009999;
+ color: #009999;
}
.highlight .m, .highlight .mb, .highlight .mx {
- color: #009999;
+ color: #009999;
}
.highlight .sb {
- color: #d14;
+ color: #d14;
}
.highlight .sc {
- color: #d14;
+ color: #d14;
}
.highlight .sd {
- color: #d14;
+ color: #d14;
}
.highlight .s2 {
- color: #d14;
+ color: #d14;
}
.highlight .se {
- color: #d14;
+ color: #d14;
}
.highlight .sh {
- color: #d14;
+ color: #d14;
}
.highlight .si {
- color: #d14;
+ color: #d14;
}
.highlight .sx {
- color: #d14;
+ color: #d14;
}
.highlight .sr {
- color: #009926;
+ color: #009926;
}
.highlight .s1 {
- color: #d14;
+ color: #d14;
}
.highlight .ss {
- color: #990073;
+ color: #990073;
}
.highlight .s {
- color: #d14;
+ color: #d14;
}
.highlight .na {
- color: #008080;
+ color: #008080;
}
.highlight .bp {
- color: #999999;
+ color: #999999;
}
.highlight .nb {
- color: #0086B3;
+ color: #0086B3;
}
.highlight .nc {
- color: #445588;
- font-weight: bold;
+ color: #445588;
+ font-weight: bold;
}
.highlight .no {
- color: #008080;
+ color: #008080;
}
.highlight .nd {
- color: #3c5d5d;
- font-weight: bold;
+ color: #3c5d5d;
+ font-weight: bold;
}
.highlight .ni {
- color: #800080;
+ color: #800080;
}
.highlight .ne {
- color: #990000;
- font-weight: bold;
+ color: #990000;
+ font-weight: bold;
}
.highlight .nf {
- color: #990000;
- font-weight: bold;
+ color: #990000;
+ font-weight: bold;
}
.highlight .nl {
- color: #990000;
- font-weight: bold;
+ color: #990000;
+ font-weight: bold;
}
.highlight .nn {
- color: #555555;
+ color: #555555;
}
.highlight .nt {
- color: #000080;
+ color: #000080;
}
.highlight .vc {
- color: #008080;
+ color: #008080;
}
.highlight .vg {
- color: #008080;
+ color: #008080;
}
.highlight .vi {
- color: #008080;
+ color: #008080;
}
.highlight .nv {
- color: #008080;
+ color: #008080;
}
.highlight .ow {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .o {
- color: #000000;
- font-weight: bold;
+ color: #000000;
+ font-weight: bold;
}
.highlight .w {
- color: #bbbbbb;
+ color: #bbbbbb;
}
.highlight {
- background-color: #f8f8f8;
+ background-color: #f8f8f8;
}