File: JiveConstants.java

package info (click to toggle)
herold 8.0.1-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 5,304 kB
  • sloc: java: 40,460; xml: 513; makefile: 37; sh: 29
file content (40 lines) | stat: -rw-r--r-- 1,869 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/* 
 * Copyright (C) 2001-2013 Michael Fuchs
 *
 * This file is part of herold.
 * 
 * herold is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * herold is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with herold.  If not, see <http://www.gnu.org/licenses/>.  
 */
package org.dbdoclet.jive;

import java.awt.Color;

public class JiveConstants {

	public static final Color COLOUR_BEIGE = Color.decode("#F5F5DC");
	public static final Color COLOUR_GRAY_31 = Color.decode("#4f4f4f");
	public static final Color COLOUR_GRAY_20 = Color.decode("#333333");
	public static final Color COLOUR_BLUE_GRAY_1 = Color.decode("#6699CC");
	public static final Color COLOUR_BLUE_GRAY_4 = Color.decode("#113366");
	public static final Color COLOUR_DARK_ORANGE = Color.decode("#FF8C00");
	public static final Color COLOUR_DARK_ORANGE_4 = Color.decode("#8B4500");
	public static final Color COLOUR_FIREBRICK_1 = Color.decode("#FF3030");
	public static final Color COLOUR_FIREBRICK_4 = Color.decode("#8B1A1A");
	public static final Color COLOUR_RED_1 = Color.decode("#FF0000");
	public static final Color COLOUR_RED_4 = Color.decode("#8B0000");
	public static final Color COLOUR_SAND = Color.decode("#EDC9AF");
	public static final Color COLOUR_STEEL_BLUE = Color.decode("#4682B4");
	public static final Color COLOUR_STEEL_BLUE_1 = Color.decode("#63B8FF");
	public static final Color COLOUR_STEEL_BLUE_4 = Color.decode("#36648B");
}