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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
-- Authors: Unknown
-- License: Unknown
-- Last Changed: Unknown
--
-- look_tiny.min_tabs.lua: an ion3 style for use with the min_tabs
-- extension, based on:
-- look_tiny.lua: an ion3 style for small screens...like mine :(
-- based on look_minimalist.lua
if not gr.select_engine("de") then return end
de.reset()
de.defstyle("*", {
bar_inside_border = true,
background_colour = "#000000",
foreground_colour = "#ffffff",
padding_colour = "#505050",
padding_pixels = 0,
highlight_pixels = 0,
shadow_pixels = 0,
border_style = "ridge",
font = "-*-lucida-medium-r-normal-*-10-*-*-*-*-*-*-*",
text_align = "left",
transparent_background = true,
})
de.defstyle("frame", {
based_on = "*",
spacing = 2,
})
de.defstyle("frame-tiled", {
based_on = "frame",
border_style = "elevated",
padding_pixels = 2,
highlight_colour = "#000000",
shadow_colour = "#000000",
highlight_pixels = 1,
shadow_pixels = 1,
de.substyle("active", {
padding_colour = "#5555cc",
})
})
de.defstyle("frame-floating", {
based_on = "frame",
highlight_colour = "#888888",
shadow_colour = "#333333",
highlight_pixels = 1,
shadow_pixels = 1,
padding_pixels = 3,
})
de.defstyle("tabstyle", {
based_on = "*",
background_colour = "#222222",
de.substyle("active-unselected", {
padding_colour = "#353577",
background_colour = "#000044",
}),
de.substyle("inactive-selected", {
padding_colour = "#707070",
background_colour = "#505050",
}),
de.substyle("active-selected", {
padding_colour = "#5555cc",
background_colour = "#223399",
}),
})
de.defstyle("tab", {
based_on = "tabstyle",
spacing = 2,
padding_pixels=1,
})
de.defstyle("tab-menuentry", {
based_on = "tabstyle",
font = "-*-lucida-medium-r-normal-*-12-*-*-*-*-*-*-*",
text_align = "left",
})
de.defstyle("tab-menuentry-big", {
based_on = "tab-menuentry",
font = "-*-lucida-medium-r-normal-*-24-*-*-*-*-*-*-*",
})
de.defstyle("input", {
based_on = "*",
padding_pixels = 1,
font = "-*-lucida-medium-r-normal-*-14-*-*-*-*-*-*-*",
de.substyle("*-cursor", {
background_colour = "#00ff00",
foreground_colour = "#000000",
}),
de.substyle("*-selection", {
foreground_colour = "#5555cc",
}),
})
de.defstyle("stdisp", {
based_on = "tab",
background_colour = "#000000",
padding_colour = "#000000",
de.substyle("important", { foreground_colour = "#ffff00", }),
de.substyle("critical", { foreground_colour = "#ff0000", }),
de.substyle("gray", { foreground_colour = "#505050", }),
de.substyle("red", { foreground_colour = "#ff0000", }),
de.substyle("green", { foreground_colour = "#00ff00", }),
de.substyle("blue", { foreground_colour = "#0000ff", }),
de.substyle("cyan", { foreground_colour = "#00ffff", }),
de.substyle("magenta", { foreground_colour = "#ff00ff", }),
de.substyle("yellow", { foreground_colour = "#ffff00", }),
})
gr.refresh()
|
