public ThemeDefault()

in src/prettify/theme/ThemeDefault.java [26:103]


  public ThemeDefault() {
    super();

    setFont(new Font("Consolas", Font.PLAIN, 12));
    setBackground(Color.white);

    setHighlightedBackground(Color.decode("0xcccccc"));

    setGutterText(Color.decode("0x000000"));
    setGutterBorderColor(Color.decode("0xaaaaaa"));
    setGutterBorderWidth(3);
    setGutterTextFont(new Font("Verdana", Font.PLAIN, 11));
    setGutterTextPaddingLeft(7);
    setGutterTextPaddingRight(7);

    Style plainStyle = new Style();
    plainStyle.setColor(Color.decode("0x000000"));
    addStyle("pln", plainStyle);
    setPlain(plainStyle);

    Style style;

    style = new Style();
    style.setColor(Color.decode("0x008800"));
    addStyle("str", style);

    style = new Style();
    style.setColor(Color.decode("0x000088"));
    addStyle("kwd", style);

    style = new Style();
    style.setColor(Color.decode("0x880000"));
    addStyle("com", style);

    style = new Style();
    style.setColor(Color.decode("0x660066"));
    addStyle("typ", style);

    style = new Style();
    style.setColor(Color.decode("0x006666"));
    addStyle("lit", style);

    style = new Style();
    style.setColor(Color.decode("0x666600"));
    addStyle("pun", style);

    style = new Style();
    style.setColor(Color.decode("0x000088"));
    addStyle("tag", style);

    addStyle("dec", plainStyle);

    style = new Style();
    style.setColor(Color.decode("0x660066"));
    addStyle("atn", style);

    style = new Style();
    style.setColor(Color.decode("0x008800"));
    addStyle("atv", style);

    addStyle("nocode", plainStyle);

    style = new Style();
    style.setColor(Color.decode("0x666600"));
    addStyle("opn", style);

    style = new Style();
    style.setColor(Color.decode("0x666600"));
    addStyle("clo", style);

    style = new Style();
    style.setColor(Color.decode("0x660066"));
    addStyle("var", style);

    style = new Style();
    style.setColor(Color.red);
    addStyle("fun", style);
  }