    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    }