001 // This file is part of the Attempto Java Packages. 002 // Copyright 2008-2009, 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 }