etc/look_clean.lua

   1 -- look_clean.lua drawing engine configuration file for Ion.
   2
   3 if not gr.select_engine("de") then return end
   4
   5 de.reset()
   6
   7 de.defstyle("*", {
   8     shadow_colour = "grey",
   9     highlight_colour = "grey",
  10     background_colour = "#545d75",
  11     foreground_colour = "grey",
  12     padding_pixels = 1,
  13     highlight_pixels = 1,
  14     shadow_pixels = 1,
  15     border_style = "elevated",
  16     font = "-misc-fixed-medium-r-*-*-13-*-*-*-*-60-*-*",
  17     text_align = "center",
  18 })
  19
  20 de.defstyle("tab", {
  21     font = "-misc-fixed-medium-r-*-*-13-*-*-*-*-60-*-*",
  22     de.substyle("active-selected", {
  23         shadow_colour = "white",
  24         highlight_colour = "white",
  25         background_colour = "#8a999e",
  26         foreground_colour = "white",
  27     }),
  28     de.substyle("active-unselected", {
  29         shadow_colour = "grey",
  30         highlight_colour = "grey",
  31         background_colour = "#545d75",
  32         foreground_colour = "grey",
  33     }),
  34     de.substyle("inactive-selected", {
  35         shadow_colour = "grey",
  36         highlight_colour = "grey",
  37         background_colour = "#545d75",
  38         foreground_colour = "grey",
  39     }),
  40     de.substyle("inactive-unselected", {
  41         shadow_colour = "grey",
  42         highlight_colour = "grey",
  43         background_colour = "#545d75",
  44         foreground_colour = "grey",
  45     }),
  46     text_align = "center",
  47 })
  48
  49 de.defstyle("input", {
  50     foreground_colour = "white",
  51     de.substyle("*-cursor", {
  52         background_colour = "white",
  53         foreground_colour = "#545d75",
  54     }),
  55     de.substyle("*-selection", {
  56         background_colour = "#aaaaaa",
  57         foreground_colour = "black",
  58     }),
  59     font = "-misc-fixed-medium-r-*-*-13-*-*-*-*-60-*-*",
  60 })
  61
  62 dopath("lookcommon_clean")
  63
  64 de.defstyle("tab-menuentry-big", {
  65     padding_pixels = 7,
  66     font = "-misc-fixed-medium-r-*-*-18-*-*-*-*-*-*-*",
  67 })
  68
  69 gr.refresh()
  70