001 // This file is part of the Attempto Java Packages.
002 // Copyright 2008, Attempto Group, University of Zurich (see http://attempto.ifi.uzh.ch).
003 //
004 // The Attempto Java Packages is free software: you can redistribute it and/or modify it under the
005 // terms of the GNU Lesser General Public License as published by the Free Software Foundation,
006 // either version 3 of the License, or (at your option) any later version.
007 //
008 // The Attempto Java Packages is distributed in the hope that it will be useful, but WITHOUT ANY
009 // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
010 // PURPOSE. See the GNU Lesser General Public License for more details.
011 //
012 // You should have received a copy of the GNU Lesser General Public License along with the Attempto
013 // Java Packages. If not, see http://www.gnu.org/licenses/.
014
015 package ch.uzh.ifi.attempto.echocomp;
016
017 import nextapp.echo2.app.Color;
018 import nextapp.echo2.app.Font;
019 import nextapp.echo2.app.StyleSheet;
020 import nextapp.echo2.app.componentxml.ComponentXmlException;
021 import nextapp.echo2.app.componentxml.StyleSheetLoader;
022
023 /**
024 * This class defines some style attributes that are used by the components of this package.
025 *
026 * @author Tobias Kuhn
027 */
028 public class Style {
029
030 private Style() {} // no instances allowed
031
032 static {
033 try {
034 styleSheet = StyleSheetLoader.load("ch/uzh/ifi/attempto/echocomp/style/Default.stylesheet",
035 Thread.currentThread().getContextClassLoader());
036 } catch (ComponentXmlException ex) {
037 throw new RuntimeException(ex);
038 }
039 }
040
041 /**
042 * The style sheet containing the shadows for internal windows.
043 */
044 public static StyleSheet styleSheet;
045
046 /**
047 * The light background color.
048 */
049 public static Color lightBackground = new Color(190, 190, 255);
050
051 /**
052 * The medium background color.
053 */
054 public static Color mediumBackground = new Color(160, 160, 255);
055
056 /**
057 * The dark background color.
058 */
059 public static Color darkBackground = new Color(60, 60, 220);
060
061 /**
062 * The light foreground color.
063 */
064 public static Color lightForeground = new Color(255, 255, 255);
065
066 /**
067 * The medium foreground color.
068 */
069 public static Color mediumForeground = new Color(60, 60, 220);
070
071 /**
072 * The dark foreground color.
073 */
074 public static Color darkForeground = new Color(0, 0, 0);
075
076 /**
077 * The light color for disabled components
078 */
079 public static Color lightDisabled = new Color(200, 200, 200);
080
081 /**
082 * The dark color for disabled components
083 */
084 public static Color darkDisabled = new Color(100, 100, 100);
085
086 /**
087 * The color for the title background of internal windows.
088 */
089 public static Color windowTitleBackground = new Color(110, 110, 210);
090
091 /**
092 * The font typeface.
093 */
094 public static Font.Typeface fontTypeface = Font.VERDANA;
095
096 }