{
  "styles": [
    [
      "pygments-hll", 
      {
        "parent": "code", 
        "backColor": "#ffffcc"
      }
    ], 
    [
      "pygments-c", 
      {
        "textColor": "#808080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-err", 
      {
        "textColor": "#F00000", 
        "parent": "code", 
        "backColor": "#F0A0A0"
      }
    ], 
    [
      "pygments-k", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#008000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-o", 
      {
        "textColor": "#303030", 
        "parent": "code"
      }
    ], 
    [
      "pygments-cm", 
      {
        "textColor": "#808080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-cp", 
      {
        "textColor": "#507090", 
        "parent": "code"
      }
    ], 
    [
      "pygments-c1", 
      {
        "textColor": "#808080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-cs", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#cc0000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gd", 
      {
        "textColor": "#A00000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-ge", 
      {
        "fontName": "stdMonoItalic", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gr", 
      {
        "textColor": "#FF0000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gh", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#000080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gi", 
      {
        "textColor": "#00A000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-go", 
      {
        "textColor": "#808080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gp", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#c65d09", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gs", 
      {
        "fontName": "stdMonoBold", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gu", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#800080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-gt", 
      {
        "textColor": "#0040D0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-kc", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#008000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-kd", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#008000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-kn", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#008000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-kp", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#003080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-kr", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#008000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-kt", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#303090", 
        "parent": "code"
      }
    ], 
    [
      "pygments-m", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#6000E0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-s", 
      {
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-na", 
      {
        "textColor": "#0000C0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nb", 
      {
        "textColor": "#007020", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nc", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#B00060", 
        "parent": "code"
      }
    ], 
    [
      "pygments-no", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#003060", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nd", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#505050", 
        "parent": "code"
      }
    ], 
    [
      "pygments-ni", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#800000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-ne", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#F00000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nf", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#0060B0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nl", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#907000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nn", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#0e84b5", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nt", 
      {
        "textColor": "#007000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-nv", 
      {
        "textColor": "#906030", 
        "parent": "code"
      }
    ], 
    [
      "pygments-ow", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#000000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-w", 
      {
        "textColor": "#bbbbbb", 
        "parent": "code"
      }
    ], 
    [
      "pygments-mf", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#6000E0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-mh", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#005080", 
        "parent": "code"
      }
    ], 
    [
      "pygments-mi", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#0000D0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-mo", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#4000E0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-sb", 
      {
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-sc", 
      {
        "textColor": "#0040D0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-sd", 
      {
        "textColor": "#D04020", 
        "parent": "code"
      }
    ], 
    [
      "pygments-s2", 
      {
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-se", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#606060", 
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-sh", 
      {
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-si", 
      {
        "parent": "code", 
        "backColor": "#e0e0e0"
      }
    ], 
    [
      "pygments-sx", 
      {
        "textColor": "#D02000", 
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-sr", 
      {
        "textColor": "#000000", 
        "parent": "code", 
        "backColor": "#fff0ff"
      }
    ], 
    [
      "pygments-s1", 
      {
        "parent": "code", 
        "backColor": "#fff0f0"
      }
    ], 
    [
      "pygments-ss", 
      {
        "textColor": "#A06000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-bp", 
      {
        "textColor": "#007020", 
        "parent": "code"
      }
    ], 
    [
      "pygments-vc", 
      {
        "textColor": "#306090", 
        "parent": "code"
      }
    ], 
    [
      "pygments-vg", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#d07000", 
        "parent": "code"
      }
    ], 
    [
      "pygments-vi", 
      {
        "textColor": "#3030B0", 
        "parent": "code"
      }
    ], 
    [
      "pygments-il", 
      {
        "fontName": "stdMonoBold", 
        "textColor": "#0000D0", 
        "parent": "code"
      }
    ]
  ]
}