styles:
  pygments-bp:
    parent: code
    textColor: '#999999'
  pygments-c:
    fontName: fontMonoItalic
    parent: code
    textColor: '#999988'
  pygments-c1:
    fontName: fontMonoItalic
    parent: code
    textColor: '#999988'
  pygments-ch:
    fontName: fontMonoItalic
    parent: code
    textColor: '#999988'
  pygments-cm:
    fontName: fontMonoItalic
    parent: code
    textColor: '#999988'
  pygments-cp:
    fontName: fontMonoBold
    parent: code
    textColor: '#999999'
  pygments-cpf:
    fontName: fontMonoItalic
    parent: code
    textColor: '#999988'
  pygments-cs:
    fontName: fontMonoItalic
    parent: code
    textColor: '#999999'
  pygments-dl:
    parent: code
    textColor: '#bb8844'
  pygments-err:
    backColor: '#e3d2d2'
    parent: code
    textColor: '#a61717'
  pygments-esc:
    parent: code
    textColor: black
  pygments-fm:
    fontName: fontMonoBold
    parent: code
    textColor: '#990000'
  pygments-g:
    parent: code
    textColor: black
  pygments-gd:
    backColor: '#ffdddd'
    parent: code
    textColor: '#000000'
  pygments-ge:
    fontName: fontMonoItalic
    parent: code
    textColor: black
  pygments-gh:
    parent: code
    textColor: '#999999'
  pygments-gi:
    backColor: '#ddffdd'
    parent: code
    textColor: '#000000'
  pygments-go:
    parent: code
    textColor: '#888888'
  pygments-gp:
    parent: code
    textColor: '#555555'
  pygments-gr:
    parent: code
    textColor: '#aa0000'
  pygments-gs:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-gt:
    parent: code
    textColor: '#aa0000'
  pygments-gu:
    parent: code
    textColor: '#aaaaaa'
  pygments-hll:
    backColor: '#ffffcc'
    parent: code
    textColor: black
  pygments-il:
    parent: code
    textColor: '#009999'
  pygments-k:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-kc:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-kd:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-kn:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-kp:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-kr:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-kt:
    fontName: fontMonoBold
    parent: code
    textColor: '#445588'
  pygments-l:
    parent: code
    textColor: black
  pygments-ld:
    parent: code
    textColor: black
  pygments-m:
    parent: code
    textColor: '#009999'
  pygments-mb:
    parent: code
    textColor: '#009999'
  pygments-mf:
    parent: code
    textColor: '#009999'
  pygments-mh:
    parent: code
    textColor: '#009999'
  pygments-mi:
    parent: code
    textColor: '#009999'
  pygments-mo:
    parent: code
    textColor: '#009999'
  pygments-n:
    parent: code
    textColor: black
  pygments-na:
    parent: code
    textColor: '#008080'
  pygments-nb:
    parent: code
    textColor: '#999999'
  pygments-nc:
    fontName: fontMonoBold
    parent: code
    textColor: '#445588'
  pygments-nd:
    parent: code
    textColor: black
  pygments-ne:
    fontName: fontMonoBold
    parent: code
    textColor: '#990000'
  pygments-nf:
    fontName: fontMonoBold
    parent: code
    textColor: '#990000'
  pygments-ni:
    parent: code
    textColor: '#800080'
  pygments-nl:
    parent: code
    textColor: black
  pygments-nn:
    parent: code
    textColor: '#555555'
  pygments-no:
    parent: code
    textColor: '#008080'
  pygments-nt:
    parent: code
    textColor: '#000080'
  pygments-nv:
    parent: code
    textColor: '#008080'
  pygments-nx:
    parent: code
    textColor: black
  pygments-o:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-ow:
    fontName: fontMonoBold
    parent: code
    textColor: black
  pygments-p:
    parent: code
    textColor: black
  pygments-py:
    parent: code
    textColor: black
  pygments-s:
    parent: code
    textColor: '#bb8844'
  pygments-s1:
    parent: code
    textColor: '#bb8844'
  pygments-s2:
    parent: code
    textColor: '#bb8844'
  pygments-sa:
    parent: code
    textColor: '#bb8844'
  pygments-sb:
    parent: code
    textColor: '#bb8844'
  pygments-sc:
    parent: code
    textColor: '#bb8844'
  pygments-sd:
    parent: code
    textColor: '#bb8844'
  pygments-se:
    parent: code
    textColor: '#bb8844'
  pygments-sh:
    parent: code
    textColor: '#bb8844'
  pygments-si:
    parent: code
    textColor: '#bb8844'
  pygments-sr:
    parent: code
    textColor: '#808000'
  pygments-ss:
    parent: code
    textColor: '#bb8844'
  pygments-sx:
    parent: code
    textColor: '#bb8844'
  pygments-vc:
    parent: code
    textColor: '#008080'
  pygments-vg:
    parent: code
    textColor: '#008080'
  pygments-vi:
    parent: code
    textColor: '#008080'
  pygments-vm:
    parent: code
    textColor: '#008080'
  pygments-w:
    parent: code
    textColor: '#bbbbbb'
  pygments-x:
    parent: code
    textColor: black
