src/prettify/theme/ThemeDesert.java [38:50]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    setGutterBorderWidth(3);
    setGutterTextFont(new Font("Verdana", Font.PLAIN, 11));
    setGutterTextPaddingLeft(7);
    setGutterTextPaddingRight(7);

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

    Style style;

    style = new Style();
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/prettify/theme/ThemeSunburst.java [41:53]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    setGutterBorderWidth(3);
    setGutterTextFont(new Font("Verdana", Font.PLAIN, 11));
    setGutterTextPaddingLeft(7);
    setGutterTextPaddingRight(7);

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

    Style style;

    style = new Style();
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -