+
+de.defstyle("tab-menuentry", {
+ based_on = "tab",
+ text_align = "left",
+ highlight_pixels = 0,
+ shadow_pixels = 0,
+
+ de.substyle("*-*-*-unselected-activity", {
+ shadow_colour = "#600808",
+ highlight_colour = "#c04040",
+ background_colour = "#901010",
+ foreground_colour = "#eeeeee",
+ }),
+
+ de.substyle("*-*-*-selected-activity", {
+ shadow_colour = "#600808",
+ highlight_colour = "#c04040",
+ background_colour = "#b03030",
+ foreground_colour = "#ffffff",
+ }),
+})
+
+de.defstyle("tab-menuentry-big", {
+ based_on = "tab-menuentry",
+ font = "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
+ padding_pixels = 7,
+})