libjava/ChangeLog:
[official-gcc.git] / libjava / classpath / tools / resource / gnu / classpath / tools / gjdoc / htmldoclet / gjdochtml-clean-color1.css
blob28452fa7bff671bf067a4118c7c4ee091fe8cf72
1 /* gjdochtml-clean-layout.css
2 Copyright (C) 2004 Free Software Foundation, Inc.
4 This file is part of GNU Classpath.
6 GNU Classpath is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
9 any later version.
11 GNU Classpath is distributed in the hope that it will be useful, but
12 WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU Classpath; see the file COPYING. If not, write to the
18 Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
19 02111-1307 USA. */
21 /* --- GNU Clean Style: Color Scheme #1 --- */
23 [class~="title"],
24 [class="table header"],
25 [class="table sub header"],
26 [class="section header"],
27 [class="serialized package header"],
28 [class="serialized class header"]
30 background-color: #E8EAFF;
33 [class~="navbar"][class~="item"]
35 border-color: #000000;
36 color: #000000;
39 [class~="navbar"][class~="item"][class~="disabled"]
41 border-color: #aaaaaa;
42 color: #aaaaaa;
45 [class~="navbar"][class~="item"][class~="active"]
47 color: #000000;
48 background-color: #E8EAFF;
51 [class~="navbar"][class~="item"][class~="active"]
53 border-color: #222222;
56 .navbar .header a
58 color: #777777;
61 a[href] {
62 color: #141EB8;
65 a[href]:visited {
66 color: #0C126E;
70 /* ---- source highlighting ---- */
72 .comment { color: #777777; }
73 .tag { color: #444444; }
74 .keyword { color: #B36B00; }
75 .header.type { color: #00248F; }
76 .type { color: #0033CC; }
77 .literal { color: #809FFF; }
78 .variable { color: #007D48; }
79 .method { color: #B32400; }
80 .line-number { color: #AAAAAA; }