-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,
-})
-
-