]> git.decadent.org.uk Git - ion3.git/blob - etc/lookcommon_emboss_tab.lua
[svn-upgrade] Integrating new upstream version, ion3 (20070318)
[ion3.git] / etc / lookcommon_emboss_tab.lua
1 -- Common tab settings for the "emboss" styles
2
3 de.defstyle("actnotify", {
4     based_on = "*",
5     shadow_colour = "#600808",
6     highlight_colour = "#c04040",
7     background_colour = "#b03030",
8     foreground_colour = "#ffffff",
9 })
10
11 de.defstyle("tab-frame", {
12     based_on = "tab",
13     -- TODO: some kind of amend option. It should not be necessary to 
14     -- duplicate this definition for both tab-frame and tab-menuentry,
15     -- or for each style, nor use more complex hacks to communicate
16     -- this stuff otherwise.
17     de.substyle("*-*-*-unselected-activity", {
18         shadow_colour = "#600808",
19         highlight_colour = "#c04040",
20         background_colour = "#901010",
21         foreground_colour = "#eeeeee",
22     }),
23     
24     de.substyle("*-*-*-selected-activity", {
25         shadow_colour = "#600808",
26         highlight_colour = "#c04040",
27         background_colour = "#b03030",
28         foreground_colour = "#ffffff",
29     }),
30 })
31
32 de.defstyle("tab-frame-tiled", {
33     based_on = "tab-frame",
34     spacing = 1,
35 })
36
37 de.defstyle("tab-menuentry", {
38     based_on = "tab",
39     text_align = "left",
40     highlight_pixels = 0,
41     shadow_pixels = 0,
42     
43     de.substyle("*-*-*-unselected-activity", {
44         shadow_colour = "#600808",
45         highlight_colour = "#c04040",
46         background_colour = "#901010",
47         foreground_colour = "#eeeeee",
48     }),
49     
50     de.substyle("*-*-*-selected-activity", {
51         shadow_colour = "#600808",
52         highlight_colour = "#c04040",
53         background_colour = "#b03030",
54         foreground_colour = "#ffffff",
55     }),
56 })
57
58 de.defstyle("tab-menuentry-big", {
59     based_on = "tab-menuentry",
60     font = "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
61     padding_pixels = 7,
62 })