notion-styles-thinviolet/look_thinviolet.lua

   1 --
   2 -- look_thinviolet for Ion's default drawing engine.
   3 -- Based on look_newviolet
   4 --
   5
   6 if not gr.select_engine("de") then
   7     return
   8 end
   9
  10 de.reset()
  11
  12 de.defstyle("*", {
  13     highlight_colour = "#e7e7ff",
  14     shadow_colour = "#e7e7ff",
  15     background_colour = "#b8b8c8",
  16     foreground_colour = "#000000",
  17
  18     shadow_pixels = 1,
  19     highlight_pixels = 1,
  20     padding_pixels = 0,
  21     spacing = 0,
  22     border_style = "elevated",
  23     border_sides = "tb",
  24
  25 --    font = "-*-helvetica-medium-r-normal-*-14-*-*-*-*-*-*-*",
  26     font = "-*-WenQuanYi Bitmap Song-regular-r-normal-*-8-*-*-*-*-*-*-*",
  27     text_align = "center",
  28 })
  29
  30
  31 de.defstyle("tab", {
  32 --    font = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*",
  33     font = "-*-WenQuanYi Bitmap Song-regular-r-normal-*-8-*-*-*-*-*-*-*",
  34
  35     de.substyle("active-selected", {
  36         highlight_colour = "#aaaacc",
  37         shadow_colour = "#aaaacc",
  38         background_colour = "#666699",
  39         foreground_colour = "#eeeeee",
  40     }),
  41
  42     de.substyle("*-unselected", {
  43         shadow_colour = "grey",
  44         highlight_colour = "grey",
  45         background_colour = "#545d75",
  46         foreground_colour = "grey",
  47     }),
  48
  49     de.substyle("inactive-selected", {
  50         highlight_colour = "#cfcfdf",
  51         shadow_colour = "#cfcfdf",
  52         background_colour = "#9999bb",
  53         foreground_colour = "#000000",
  54     }),
  55 })
  56
  57
  58 de.defstyle("input", {
  59     text_align = "left",
  60     highlight_colour = "#eeeeff",
  61     shadow_colour = "#eeeeff",
  62         background_colour = "#545d75",
  63
  64     de.substyle("*-selection", {
  65         background_colour = "#666699",
  66         foreground_colour = "#000000",
  67     }),
  68
  69     de.substyle("*-cursor", {
  70         background_colour = "#000000",
  71         foreground_colour = "#b8b8c8",
  72     }),
  73 })
  74
  75
  76 de.defstyle("input-menu", {
  77     highlight_pixels = 0,
  78     shadow_pixels = 0,
  79     padding_pixels = 0,
  80 })
  81
  82
  83 de.defstyle("frame", {
  84     shadow_pixels = 0,
  85     highlight_pixels = 0,
  86     padding_pixels = 0,
  87     border_sides = "all",
  88     transparent_background = true,
  89 })
  90
  91
  92 dopath("lookcommon_thin")
  93
  94
  95 -- Refresh objects' brushes.
  96 gr.refresh()