pre { line-height: 125%; }td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }.highlight .hll { background-color: #ebdbb2 }.highlight { background: #282828; color: #DDD }.highlight .c { color: #928374; font-style: italic }.highlight .err { color: #282828; background-color: #FB4934 }.highlight .esc { color: #DDD }.highlight .g { color: #DDD }.highlight .k { color: #FB4934 }.highlight .l { color: #DDD }.highlight .n { color: #DDD }.highlight .o { color: #DDD }.highlight .x { color: #DDD }.highlight .p { color: #DDD }.highlight .ch { color: #928374; font-style: italic }.highlight .cm { color: #928374; font-style: italic }.highlight .c-PreProc { color: #8EC07C; font-style: italic }.highlight .cp { color: #928374; font-style: italic }.highlight .cpf { color: #928374; font-style: italic }.highlight .c1 { color: #928374; font-style: italic }.highlight .cs { color: #EBDBB2; font-weight: bold; font-style: italic }.highlight .gd { color: #282828; background-color: #FB4934 }.highlight .ge { color: #DDD; font-style: italic }.highlight .ges { color: #DDD; font-weight: bold; font-style: italic }.highlight .gr { color: #FB4934 }.highlight .gh { color: #EBDBB2; font-weight: bold }.highlight .gi { color: #282828; background-color: #B8BB26 }.highlight .go { color: #F2E5BC }.highlight .gp { color: #A89984 }.highlight .gs { color: #DDD; font-weight: bold }.highlight .gu { color: #EBDBB2; text-decoration: underline }.highlight .gt { color: #FB4934 }.highlight .kc { color: #FB4934 }.highlight .kd { color: #FB4934 }.highlight .kn { color: #FB4934 }.highlight .kp { color: #FB4934 }.highlight .kr { color: #FB4934 }.highlight .kt { color: #FB4934 }.highlight .ld { color: #DDD }.highlight .m { color: #D3869B }.highlight .s { color: #B8BB26 }.highlight .na { color: #FABD2F }.highlight .nb { color: #FE8019 }.highlight .nc { color: #8EC07C }.highlight .no { color: #D3869B }.highlight .nd { color: #FB4934 }.highlight .ni { color: #DDD }.highlight .ne { color: #FB4934 }.highlight .nf { color: #8EC07C }.highlight .nl { color: #DDD }.highlight .nn { color: #8EC07C }.highlight .nx { color: #DDD }.highlight .py { color: #DDD }.highlight .nt { color: #8EC07C }.highlight .nv { color: #83A598 }.highlight .ow { color: #FB4934 }.highlight .pm { color: #DDD }.highlight .w { color: #DDD }.highlight .mb { color: #D3869B }.highlight .mf { color: #D3869B }.highlight .mh { color: #D3869B }.highlight .mi { color: #D3869B }.highlight .mo { color: #D3869B }.highlight .sa { color: #B8BB26 }.highlight .sb { color: #B8BB26 }.highlight .sc { color: #B8BB26 }.highlight .dl { color: #B8BB26 }.highlight .sd { color: #B8BB26 }.highlight .s2 { color: #B8BB26 }.highlight .se { color: #FE8019 }.highlight .sh { color: #B8BB26 }.highlight .si { color: #B8BB26 }.highlight .sx { color: #B8BB26 }.highlight .sr { color: #B8BB26 }.highlight .s1 { color: #B8BB26 }.highlight .ss { color: #B8BB26 }.highlight .bp { color: #FE8019 }.highlight .fm { color: #8EC07C }.highlight .vc { color: #83A598 }.highlight .vg { color: #83A598 }.highlight .vi { color: #83A598 }.highlight .vm { color: #83A598 }.highlight .il { color: #D3869B }