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