blob: 04e5b52cdde7415c5fa8509003810581977182cf [file] [log] [blame]
// 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;
/**
* Desert theme.
*/
public class ThemeDesert extends Theme {
public ThemeDesert() {
super();
/* desert scheme ported from vim to google prettify */
setFont(new Font("Consolas", Font.PLAIN, 12));
setBackground(Color.decode("0x111111"));
setHighlightedBackground(Color.decode("0x444444"));
setGutterText(Color.decode("0xffffff"));
setGutterBorderColor(Color.decode("0x888888"));
setGutterBorderWidth(3);
setGutterTextFont(new Font("Verdana", Font.PLAIN, 11));
setGutterTextPaddingLeft(7);
setGutterTextPaddingRight(7);
Style plainStyle = new Style();
plainStyle.setColor(Color.decode("0xffffff"));
setPlain(plainStyle);
Style style;
style = new Style();
style.setColor(Color.decode("0xffa0a0")); /* string - pink */
setString(style);
style = new Style();
style.setColor(Color.decode("0xf0e68c"));
style.setBold(true);
setKeyword(style);
style = new Style();
style.setColor(Color.decode("0x87ceeb")); /* comment - skyblue */
setComment(style);
style = new Style();
style.setColor(Color.decode("0x98fb98")); /* type - lightgreen */
setType(style);
style = new Style();
style.setColor(Color.decode("0xcd5c5c")); /* literal - darkred */
setLiteral(style);
style = new Style();
style.setColor(Color.decode("0xffffff"));
setPunctuation(style);
style = new Style();
style.setColor(Color.decode("0xf0e68c"));/* html/xml tag - lightyellow */
style.setBold(true);
setTag(style);
style = new Style();
style.setColor(Color.decode("0x98fb98")); /* decimal - lightgreen */
setDeclaration(style);
style = new Style();
style.setColor(Color.decode("0xbdb76b")); /* attribute name - khaki */
style.setBold(true);
setAttributeName(style);
style = new Style();
style.setColor(Color.decode("0xffa0a0")); /* attribute value - pink */
style.setBold(true);
setAttributeValue(style);
style = new Style();
style.setColor(Color.decode("0x333333"));
setNoCode(style);
setOpenBracket(plainStyle);
setCloseBracket(plainStyle);
setVariable(plainStyle);
setFunction(plainStyle);
}
}