3 -- Last Changed: Unknown
5 if not gr
.select_engine("de") then return end
10 shadow_colour
= "#00aa00",
11 highlight_colour
= "#00aa00",
12 -- background_colour = "#000000",
13 foreground_colour
= "#00aa00",
17 border_style
= "elevated",
18 font
= "-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*",
19 text_align
= "center",
22 de
.defstyle("frame", {
24 shadow_colour
= "#000000",
25 highlight_colour
= "#000000",
26 padding_colour
= "#00aa00",
27 -- transparent_background = true,
28 -- background_colour = "#000000",
29 foreground_colour
= "#ffffff",
33 de
.substyle("active", {
34 shadow_colour
= "#000000",
35 highlight_colour
= "#000000",
36 padding_colour
= "#00aa00",
37 foreground_colour
= "#ffffff",
41 de
.defstyle("frame-ionframe", {
43 border_style
= "inlaid",
48 de
.defstyle("frame-floatframe", {
50 border_style
= "ridge",
55 font
= "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
56 de
.substyle("active-selected", {
57 shadow_colour
= "#00aa00",
58 highlight_colour
= "#00aa00",
59 background_colour
= "#000000",
60 foreground_colour
= "#00aa00",
62 de
.substyle("active-unselected", {
63 shadow_colour
= "#006600",
64 highlight_colour
= "#006600",
65 background_colour
= "#000000",
66 foreground_colour
= "#006600",
68 de
.substyle("inactive-selected", {
69 shadow_colour
= "#006600",
70 highlight_colour
= "#006600",
71 background_colour
= "#000000",
72 foreground_colour
= "#006600",
74 de
.substyle("inactive-unselected", {
75 shadow_colour
= "#003300",
76 highlight_colour
= "#003300",
77 background_colour
= "#000000",
78 foreground_colour
= "#003300",
80 text_align
= "center",
83 de
.defstyle("tab-frame", {
85 de
.substyle("*-*-*-*-activity", {
86 shadow_colour
= "#00aa00",
87 highlight_colour
= "#00aa00",
88 background_colour
= "#000000",
89 foreground_colour
= "#00aa00",
93 de
.defstyle("tab-frame-ionframe", {
94 based_on
= "tab-frame",
98 de
.defstyle("tab-menuentry", {
101 highlight_pixels
= 0,
103 --give pmenus the same brightness as the other menus.
104 de
.substyle("inactive-selected", {
105 shadow_colour
= "#00aa00",
106 highlight_colour
= "#00aa00",
107 background_colour
= "#000000",
108 foreground_colour
= "#00aa00",
110 de
.substyle("inactive-unselected", {
111 shadow_colour
= "#006600",
112 highlight_colour
= "#006600",
113 background_colour
= "#000000",
114 foreground_colour
= "#006600",
118 de
.defstyle("tab-menuentry-big", {
119 based_on
= "tab-menuentry",
120 font
= "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
124 de
.defstyle("input", {
126 shadow_colour
= "#00aa00",
127 highlight_colour
= "#00aa00",
128 background_colour
= "#000000",
129 foreground_colour
= "#00aa00",
131 highlight_pixels
= 1,
133 border_style
= "elevated",
134 de
.substyle("*-cursor", {
135 background_colour
= "#ffffff",
136 foreground_colour
= "#000000",
138 de
.substyle("*-selection", {
139 background_colour
= "#505050",
140 foreground_colour
= "#ffffff",
144 de
.defstyle("input-menu", {
146 de
.substyle("active", {
147 shadow_colour
= "#00aa00",
148 highlight_colour
= "#00aa00",
149 background_colour
= "#000000",
150 foreground_colour
= "#00aa00",