code.highlight table td { padding: 5px; } code.highlight table pre { margin: 0; } code.highlight, code.highlight .w { color: #586e75; } code.highlight .err { color: #002b36; background-color: #dc322f; } code.highlight .c, code.highlight .ch, code.highlight .cd, code.highlight .cm, code.highlight .cpf, code.highlight .c1, code.highlight .cs { color: #657b83; } code.highlight .cp { color: #b58900; } code.highlight .nt { color: #b58900; } code.highlight .o, code.highlight .ow { color: #93a1a1; } code.highlight .p, code.highlight .pi { color: #93a1a1; } code.highlight .gi { color: #859900; } code.highlight .gd { color: #dc322f; } code.highlight .gh { color: #268bd2; background-color: #002b36; font-weight: bold; } code.highlight .ge { font-style: italic; } code.highlight .ges { font-weight: bold; font-style: italic; } code.highlight .gs { font-weight: bold; } code.highlight .k, code.highlight .kn, code.highlight .kp, code.highlight .kr, code.highlight .kv { color: #6c71c4; } code.highlight .kc { color: #cb4b16; } code.highlight .kt { color: #cb4b16; } code.highlight .kd { color: #cb4b16; } code.highlight .s, code.highlight .sb, code.highlight .sc, code.highlight .dl, code.highlight .sd, code.highlight .s2, code.highlight .sh, code.highlight .sx, code.highlight .s1 { color: #859900; } code.highlight .sa { color: #6c71c4; } code.highlight .sr { color: #2aa198; } code.highlight .si { color: #d33682; } code.highlight .se { color: #d33682; } code.highlight .nn { color: #b58900; } code.highlight .nc { color: #b58900; } code.highlight .no { color: #b58900; } code.highlight .na { color: #268bd2; } code.highlight .m, code.highlight .mb, code.highlight .mf, code.highlight .mh, code.highlight .mi, code.highlight .il, code.highlight .mo, code.highlight .mx { color: #859900; } code.highlight .ss { color: #859900; }