src/prettify/theme/ThemeSonsOfObsidian.java

// Copyright (C) 2011 Alex Ford
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package prettify.theme;

import java.awt.Color;
import java.awt.Font;
import prettify.Theme;

/**
 * Son of Obsidian theme.
 * @author Alex Ford
 */
public class ThemeSonsOfObsidian extends Theme {

    public ThemeSonsOfObsidian() {
        super();

        /*
         * Derived from einaros's Sons of Obsidian theme at
         * http://studiostyl.es/schemes/son-of-obsidian by
         * Alex Ford of CodeTunnel:
         * http://CodeTunnel.com/blog/post/71/google-code-prettify-obsidian-theme
         */

        setFont(new Font("Consolas", Font.PLAIN, 12));
        setBackground(Color.decode("0x000000"));

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

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

        Style plainStyle = new Style();
        plainStyle.setColor(Color.decode("0xF1F2F3"));
        setPlain(plainStyle);

        Style style;

        style = new Style();
        style.setColor(Color.decode("0xEC7600"));
        setString(style);

        style = new Style();
        style.setColor(Color.decode("0x93C763"));
        setKeyword(style);

        style = new Style();
        style.setColor(Color.decode("0x66747B"));
        setComment(style);

        style = new Style();
        style.setColor(Color.decode("0x678CB1"));
        setType(style);

        style = new Style();
        style.setColor(Color.decode("0xFACD22"));
        setLiteral(style);

        style = new Style();
        style.setColor(Color.decode("0xF1F2F3"));
        setPunctuation(style);

        style = new Style();
        style.setColor(Color.decode("0x8AC763"));
        setTag(style);

        style = new Style();
        style.setColor(Color.decode("0x800080"));
        setDeclaration(style);

        style = new Style();
        style.setColor(Color.decode("0xE0E2E4"));
        setAttributeName(style);

        style = new Style();
        style.setColor(Color.decode("0xEC7600"));
        setAttributeValue(style);

        setNoCode(plainStyle);

        setOpenBracket(plainStyle);

        setCloseBracket(plainStyle);

        setVariable(plainStyle);

        setFunction(plainStyle);
    }
}