+de.defstyle("tab-menuentry-big", {
+ font = "-*-helvetica-medium-r-normal-*-17-*-*-*-*-*-*-*",
+ padding_pixels = 7,
+})
+
+
+de.defstyle("stdisp", {
+ shadow_pixels = 0,
+ highlight_pixels = 0,
+ text_align = "left",
+ background_colour = "#000000",
+ foreground_colour = "grey",
+ font="-misc-fixed-medium-r-*-*-13-*-*-*-*-60-*-*",
+
+ de.substyle("important", {
+ foreground_colour = "green",
+ }),
+
+ de.substyle("critical", {
+ foreground_colour = "red",
+ }),