})
de.defstyle("frame", {
- based_on = "*",
shadow_colour = "black",
highlight_colour = "black",
padding_colour = "black",
})
de.defstyle("tab", {
- based_on = "*",
font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
de.substyle("active-selected", {
shadow_colour = "black",
})
de.defstyle("input", {
- based_on = "*",
shadow_colour = "black",
highlight_colour = "black",
background_colour = "#3f3f3f",
})
de.defstyle("input-menu", {
- based_on = "input",
padding_pixels=0,
})