})
-de.defstyle("frame", {
- based_on = "*",
- padding_colour = "#aaaaaa",
- background_colour = "#000000",
- transparent_background = false,
-})
-
-
de.defstyle("tab", {
- based_on = "*",
font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
de.substyle("active-selected", {
})
-de.defstyle("tab-menuentry", {
- based_on = "tab",
- text_align = "left",
- spacing = 1,
-})
-
-
-de.defstyle("tab-menuentry-big", {
- based_on = "tab-menuentry",
- font = "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
- padding_pixels = 7,
-})
-
-
de.defstyle("input", {
- based_on = "*",
text_align = "left",
spacing = 1,
-- Greyish violet background
}),
})
+
dopath("lookcommon_clean")
-
+
+
-- Refresh objects' brushes.
gr.refresh()