pre { line-height: 125%; }
.codehilite .hll { background-color: #2C3B41; }
.codehilite { background: #263238; color: #EEFFFF; }
.codehilite .c { color: #546E7A; font-style: italic; }
.codehilite .err { color: #FF5370; }
.codehilite .esc { color: #89DDFF; }
.codehilite .g { color: #EEFFFF; }
.codehilite .k { color: #BB80B3; }
.codehilite .l { color: #C3E88D; }
.codehilite .n { color: #EEFFFF; }
.codehilite .o { color: #89DDFF; }
.codehilite .p { color: #89DDFF; }
.codehilite .ch { color: #546E7A; font-style: italic; }
.codehilite .cm { color: #546E7A; font-style: italic; }
.codehilite .cp { color: #546E7A; font-style: italic; }
.codehilite .cpf { color: #546E7A; font-style: italic; }
.codehilite .c1 { color: #546E7A; font-style: italic; }
.codehilite .cs { color: #546E7A; font-style: italic; }
.codehilite .gd { color: #FF5370; }
.codehilite .ge { color: #89DDFF; }
.codehilite .ges { color: #FFCB6B; }
.codehilite .gr { color: #FF5370; }
.codehilite .gh { color: #C3E88D; }
.codehilite .gi { color: #C3E88D; }
.codehilite .go { color: #546E7A; }
.codehilite .gp { color: #FFCB6B; }
.codehilite .gs { color: #FF5370; }
.codehilite .gu { color: #89DDFF; }
.codehilite .gt { color: #FF5370; }
.codehilite .kc { color: #89DDFF; }
.codehilite .kd { color: #BB80B3; }
.codehilite .kn { color: #89DDFF; font-style: italic; }
.codehilite .kp { color: #89DDFF; }
.codehilite .kr { color: #BB80B3; }
.codehilite .kt { color: #BB80B3; }
.codehilite .ld { color: #C3E88D; }
.codehilite .m { color: #F78C6C; }
.codehilite .s { color: #C3E88D; }
.codehilite .na { color: #BB80B3; }
.codehilite .nb { color: #82AAFF; }
.codehilite .nc { color: #FFCB6B; }
.codehilite .no { color: #EEFFFF; }
.codehilite .nd { color: #82AAFF; }
.codehilite .ni { color: #89DDFF; }
.codehilite .ne { color: #FFCB6B; }
.codehilite .nf { color: #82AAFF; }
.codehilite .nl { color: #82AAFF; }
.codehilite .nn { color: #FFCB6B; }
.codehilite .nx { color: #EEFFFF; }
.codehilite .py { color: #FFCB6B; }
.codehilite .nt { color: #FF5370; }
.codehilite .nv { color: #89DDFF; }
.codehilite .ow { color: #89DDFF; font-style: italic; }
.codehilite .pm { color: #89DDFF; }
.codehilite .w { color: #EEFFFF; }
.codehilite .mb { color: #F78C6C; }
.codehilite .mf { color: #F78C6C; }
.codehilite .mh { color: #F78C6C; }
.codehilite .mi { color: #F78C6C; }
.codehilite .mo { color: #F78C6C; }
.codehilite .sa { color: #BB80B3; }
.codehilite .sb { color: #C3E88D; }
.codehilite .sc { color: #C3E88D; }
.codehilite .dl { color: #EEFFFF; }
.codehilite .sd { color: #546E7A; font-style: italic; }
.codehilite .s2 { color: #C3E88D; }
.codehilite .se { color: #EEFFFF; }
.codehilite .sh { color: #C3E88D; }
.codehilite .si { color: #89DDFF; }
.codehilite .sx { color: #C3E88D; }
.codehilite .sr { color: #89DDFF; }
.codehilite .s1 { color: #C3E88D; }
.codehilite .ss { color: #89DDFF; }
.codehilite .bp { color: #89DDFF; }
.codehilite .fm { color: #82AAFF; }
.codehilite .vc { color: #89DDFF; }
.codehilite .vg { color: #89DDFF; }
.codehilite .vi { color: #89DDFF; }
.codehilite .vm { color: #82AAFF; }
.codehilite .il { color: #F78C6C; }
