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