3 -- Last Changed: Unknown
5 -- look_tiny.min_tabs.lua: an ion3 style for use with the min_tabs
6 -- extension, based on:
7 -- look_tiny.lua: an ion3 style for small screens...like mine :(
8 -- based on look_minimalist.lua
10 if not gr
.select_engine("de") then return end
15 bar_inside_border
= true,
16 background_colour
= "#000000",
17 foreground_colour
= "#ffffff",
18 padding_colour
= "#505050",
22 border_style
= "ridge",
23 font
= "-*-lucida-medium-r-normal-*-10-*-*-*-*-*-*-*",
25 transparent_background
= true,
28 de
.defstyle("frame", {
33 de
.defstyle("frame-tiled", {
35 border_style
= "elevated",
37 highlight_colour
= "#000000",
38 shadow_colour
= "#000000",
41 de
.substyle("active", {
42 padding_colour
= "#5555cc",
46 de
.defstyle("frame-floating", {
48 highlight_colour
= "#888888",
49 shadow_colour
= "#333333",
55 de
.defstyle("tabstyle", {
57 background_colour
= "#222222",
58 de
.substyle("active-unselected", {
59 padding_colour
= "#353577",
60 background_colour
= "#000044",
62 de
.substyle("inactive-selected", {
63 padding_colour
= "#707070",
64 background_colour
= "#505050",
66 de
.substyle("active-selected", {
67 padding_colour
= "#5555cc",
68 background_colour
= "#223399",
73 based_on
= "tabstyle",
78 de
.defstyle("tab-menuentry", {
79 based_on
= "tabstyle",
80 font
= "-*-lucida-medium-r-normal-*-12-*-*-*-*-*-*-*",
84 de
.defstyle("tab-menuentry-big", {
85 based_on
= "tab-menuentry",
86 font
= "-*-lucida-medium-r-normal-*-24-*-*-*-*-*-*-*",
89 de
.defstyle("input", {
92 font
= "-*-lucida-medium-r-normal-*-14-*-*-*-*-*-*-*",
93 de
.substyle("*-cursor", {
94 background_colour
= "#00ff00",
95 foreground_colour
= "#000000",
97 de
.substyle("*-selection", {
98 foreground_colour
= "#5555cc",
102 de
.defstyle("stdisp", {
104 background_colour
= "#000000",
105 padding_colour
= "#000000",
106 de
.substyle("important", { foreground_colour
= "#ffff00", }),
107 de
.substyle("critical", { foreground_colour
= "#ff0000", }),
108 de
.substyle("gray", { foreground_colour
= "#505050", }),
109 de
.substyle("red", { foreground_colour
= "#ff0000", }),
110 de
.substyle("green", { foreground_colour
= "#00ff00", }),
111 de
.substyle("blue", { foreground_colour
= "#0000ff", }),
112 de
.substyle("cyan", { foreground_colour
= "#00ffff", }),
113 de
.substyle("magenta", { foreground_colour
= "#ff00ff", }),
114 de
.substyle("yellow", { foreground_colour
= "#ffff00", }),