3 -- Last Changed: Unknown
5 if not gr
.select_engine("de") then return end
10 foreground_colour
= "#000000",
11 background_colour
= "#f0f0f0",
12 border_style
= "ridge",
13 padding_colour
= "#c0c0c0",
14 highlight_colour
= "#000000",
15 shadow_colour
= "#000000",
20 font
= "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
21 text_align
= "center",
24 de
.defstyle("frame", {
32 de
.defstyle("frame-tiled", {
36 de
.defstyle("frame-floating", {
38 floatframe_tab_min_w
= 10000,
39 floatframe_bar_max_w_q
= 1,
40 padding_colour
= "#c0c0c0",
41 de
.substyle("active", {
42 padding_colour
= "black",
48 border_style
= "elevated",
56 de
.defstyle("tab-frame", {
58 de
.substyle("active-selected", {
59 background_colour
= "#ffffff",
60 padding_colour
= "#ffffff",
62 de
.substyle("active-unselected", {
63 background_colour
= "#e0e0e0",
64 padding_colour
= "#e0e0e0",
66 de
.substyle("inactive-selected", {
67 background_colour
= "#d0d0d0",
68 padding_colour
= "#d0d0d0",
69 foreground_colour
= "#808080",
70 shadow_colour
= "#d0d0d0",
71 highlight_colour
= "#d0d0d0",
73 de
.substyle("inactive-unselected", {
74 background_colour
= "#c0c0c0",
75 foreground_colour
= "#808080",
76 padding_colour
= "#c0c0c0",
77 shadow_colour
= "#c0c0c0",
78 highlight_colour
= "#c0c0c0",
82 de
.defstyle("tab-frame-tiled", {
83 based_on
= "tab-frame",
87 de
.defstyle("tab-menuentry", {
88 de
.substyle("active-selected", {
89 background_colour
= "#e0e0e0",
90 background_colour
= "#b0c0d0",
91 background_colour
= "#505050",
92 padding_colour
= "#e0e0e0",
93 padding_colour
= "#b0c0d0",
94 padding_colour
= "#505050",
95 foreground_colour
= "#f0f0f0",
97 de
.substyle("active-unselected", {
98 background_colour
= "#ffffff",
99 padding_colour
= "#ffffff",
101 de
.substyle("inactive-selected", {
102 background_colour
= "#c0c0c0",
103 foreground_colour
= "#808080",
104 padding_colour
= "#c0c0c0",
106 de
.substyle("inactive-unselected", {
107 background_colour
= "#d0d0d0",
108 padding_colour
= "#d0d0d0",
109 foreground_colour
= "#808080",
113 border_style
= "inlaid",
114 highlight_pixels
= 0,
120 de
.defstyle("tab-menuentry-big", {
121 based_on
= "tab-menuentry",
122 border_style
= "inlaid",
127 de
.defstyle("input", {
130 highlight_pixels
= 0,
132 border_style
= "elevated",
133 de
.substyle("*-cursor", {
134 background_colour
= "#000000",
135 foreground_colour
= "#ffffff",
137 de
.substyle("*-selection", {
138 background_colour
= "#c0c0c0",
139 foreground_colour
= "#000000",
143 de
.defstyle("input-menu", {
147 de
.defstyle("stdisp", {
150 highlight_pixels
= 0,
153 background_colour
= "#d0d0d0",