iankelling.org Git - iankelling.org/blob - css/code-highlight.scss

   1 /* from https://jekyllrb.com/docs/templates/#code-snippet-highlighting*/
   2 /* links to a 6 year old css file supposedly used by github:*/
   3 /* https://github.com/mojombo/tpw/blob/master/css/syntax.css*/
   4 /*  googling jekyll source code css, leads*/
   5 /* https://github.com/jwarby/jekyll-pygments-themes, which seems ok,*/
   6 /* but I'm curious what the upstream default is. I find rogue has no*/
   7 /* default. pygments does, so I do that:*/
   8 /* http://pygments.org/docs/quickstart/*/
   9 /* fire up python2,*/
  10
  11 /* from pygments.formatters import HtmlFormatter */
  12 /*  print HtmlFormatter().get_style_defs('.highlight')*/
  13
  14 .highlight .cm {
  15     color: #999988;
  16     font-style: italic;
  17 }
  18 .highlight .cp {
  19     color: #999999;
  20     font-weight: bold;
  21 }
  22 .highlight .c1 {
  23     color: #999988;
  24     font-style: italic;
  25 }
  26 .highlight .cs {
  27     color: #999999;
  28     font-weight: bold;
  29     font-style: italic;
  30 }
  31 .highlight .c, .highlight .cd {
  32     color: #999988;
  33     font-style: italic;
  34 }
  35 .highlight .err {
  36     color: #a61717;
  37     background-color: #e3d2d2;
  38 }
  39 .highlight .gd {
  40     color: #000000;
  41     background-color: #ffdddd;
  42 }
  43 .highlight .ge {
  44     color: #000000;
  45     font-style: italic;
  46 }
  47 .highlight .gr {
  48     color: #aa0000;
  49 }
  50 .highlight .gh {
  51     color: #999999;
  52 }
  53 .highlight .gi {
  54     color: #000000;
  55     background-color: #ddffdd;
  56 }
  57 .highlight .go {
  58     color: #888888;
  59 }
  60 .highlight .gp {
  61     color: #555555;
  62 }
  63 .highlight .gs {
  64     font-weight: bold;
  65 }
  66 .highlight .gu {
  67     color: #aaaaaa;
  68 }
  69 .highlight .gt {
  70     color: #aa0000;
  71 }
  72 .highlight .kc {
  73     color: #000000;
  74     font-weight: bold;
  75 }
  76 .highlight .kd {
  77     color: #000000;
  78     font-weight: bold;
  79 }
  80 .highlight .kn {
  81     color: #000000;
  82     font-weight: bold;
  83 }
  84 .highlight .kp {
  85     color: #000000;
  86     font-weight: bold;
  87 }
  88 .highlight .kr {
  89     color: #000000;
  90     font-weight: bold;
  91 }
  92 .highlight .kt {
  93     color: #445588;
  94     font-weight: bold;
  95 }
  96 .highlight .k, .highlight .kv {
  97     color: #000000;
  98     font-weight: bold;
  99 }
 100 .highlight .mf {
 101     color: #009999;
 102 }
 103 .highlight .mh {
 104     color: #009999;
 105 }
 106 .highlight .il {
 107     color: #009999;
 108 }
 109 .highlight .mi {
 110     color: #009999;
 111 }
 112 .highlight .mo {
 113     color: #009999;
 114 }
 115 .highlight .m, .highlight .mb, .highlight .mx {
 116     color: #009999;
 117 }
 118 .highlight .sb {
 119     color: #d14;
 120 }
 121 .highlight .sc {
 122     color: #d14;
 123 }
 124 .highlight .sd {
 125     color: #d14;
 126 }
 127 .highlight .s2 {
 128     color: #d14;
 129 }
 130 .highlight .se {
 131     color: #d14;
 132 }
 133 .highlight .sh {
 134     color: #d14;
 135 }
 136 .highlight .si {
 137     color: #d14;
 138 }
 139 .highlight .sx {
 140     color: #d14;
 141 }
 142 .highlight .sr {
 143     color: #009926;
 144 }
 145 .highlight .s1 {
 146     color: #d14;
 147 }
 148 .highlight .ss {
 149     color: #990073;
 150 }
 151 .highlight .s {
 152     color: #d14;
 153 }
 154 .highlight .na {
 155     color: #008080;
 156 }
 157 .highlight .bp {
 158     color: #999999;
 159 }
 160 .highlight .nb {
 161     color: #0086B3;
 162 }
 163 .highlight .nc {
 164     color: #445588;
 165     font-weight: bold;
 166 }
 167 .highlight .no {
 168     color: #008080;
 169 }
 170 .highlight .nd {
 171     color: #3c5d5d;
 172     font-weight: bold;
 173 }
 174 .highlight .ni {
 175     color: #800080;
 176 }
 177 .highlight .ne {
 178     color: #990000;
 179     font-weight: bold;
 180 }
 181 .highlight .nf {
 182     color: #990000;
 183     font-weight: bold;
 184 }
 185 .highlight .nl {
 186     color: #990000;
 187     font-weight: bold;
 188 }
 189 .highlight .nn {
 190     color: #555555;
 191 }
 192 .highlight .nt {
 193     color: #000080;
 194 }
 195 .highlight .vc {
 196     color: #008080;
 197 }
 198 .highlight .vg {
 199     color: #008080;
 200 }
 201 .highlight .vi {
 202     color: #008080;
 203 }
 204 .highlight .nv {
 205     color: #008080;
 206 }
 207 .highlight .ow {
 208     color: #000000;
 209     font-weight: bold;
 210 }
 211 .highlight .o {
 212     color: #000000;
 213     font-weight: bold;
 214 }
 215 .highlight .w {
 216     color: #bbbbbb;
 217 }
 218 .highlight {
 219     background-color: #f8f8f8;
 220 }