etc/look_greyviolet.lua

   1 -- look_greyviolet.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 = "#777777",
   9     highlight_colour = "#eeeeee",
  10     background_colour = "#aaaaaa",
  11     foreground_colour = "#000000",
  12     padding_pixels = 1,
  13     highlight_pixels = 1,
  14     shadow_pixels = 1,
  15     border_style = "elevated",
  16     font = "-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*",
  17     text_align = "center",
  18 })
  19
  20 de.defstyle("frame", {
  21     based_on = "*",
  22     shadow_colour = "#777777",
  23     highlight_colour = "#eeeeee",
  24     padding_colour = "#aaaaaa",
  25     background_colour = "#000000",
  26     foreground_colour = "#ffffff",
  27     padding_pixels = 2,
  28     highlight_pixels = 1,
  29     shadow_pixels = 1,
  30 })
  31
  32 de.defstyle("tab", {
  33     based_on = "*",
  34     font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
  35     de.substyle("active-selected", {
  36         shadow_colour = "#333366",
  37         highlight_colour = "#aaaacc",
  38         background_colour = "#666699",
  39         foreground_colour = "#eeeeee",
  40     }),
  41     de.substyle("active-unselected", {
  42         shadow_colour = "#777777",
  43         highlight_colour = "#eeeeee",
  44         background_colour = "#aaaaaa",
  45         foreground_colour = "#000000",
  46     }),
  47     de.substyle("inactive-selected", {
  48         shadow_colour = "#777788",
  49         highlight_colour = "#eeeeff",
  50         background_colour = "#9999aa",
  51         foreground_colour = "#000000",
  52     }),
  53     de.substyle("inactive-unselected", {
  54         shadow_colour = "#777777",
  55         highlight_colour = "#eeeeee",
  56         background_colour = "#aaaaaa",
  57         foreground_colour = "#000000",
  58     }),
  59     text_align = "center",
  60 })
  61
  62 de.defstyle("input", {
  63     based_on = "*",
  64     shadow_colour = "#777777",
  65     highlight_colour = "#eeeeee",
  66     background_colour = "#aaaaaa",
  67     foreground_colour = "#000000",
  68     padding_pixels = 1,
  69     highlight_pixels = 1,
  70     shadow_pixels = 1,
  71     border_style = "elevated",
  72     de.substyle("*-cursor", {
  73         background_colour = "#000000",
  74         foreground_colour = "#aaaaaa",
  75     }),
  76     de.substyle("*-selection", {
  77         background_colour = "#aaaaaa",
  78         foreground_colour = "black",
  79     }),
  80 })
  81
  82 dopath("lookcommon_emboss")
  83
  84 gr.refresh()
  85