})
de.defstyle("tab", {
- based_on = "*",
font = "-*-helvetica-bold-r-normal-*-10-*-*-*-*-*-*-*",
de.substyle("active-selected", {
shadow_colour = "#f0f066",
})
de.defstyle("input-edln", {
- based_on = "*",
de.substyle("*-cursor", {
background_colour = "#000000",
foreground_colour = "#d8d8d8",
dopath("lookcommon_clean")
-de.defstyle("tab-menuentry-big", {
- based_on = "tab-menuentry",
- font = "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
- padding_pixels = 7,
-})
-
gr.refresh()