initial commit: most of previous configuration reworked

1 files changed, 223 insertions, 0 deletions

diff --git a/common/theme.nix b/common/theme.nix
new file mode 100644
index 0000000..675bc33
--- /dev/null
+++ b/common/theme.nix
@@ -0,0 +1,223 @@
+# A facility centralizing theme / colorscheme
+
+# The default colors are based on the Gruvbox theme:
+#
+# - https://github.com/morhetz/gruvbox
+# - https://github.com/morhetz/gruvbox-contrib
+
+{ config, lib, ... }:
+
+with lib;
+
+{
+  options.theme.colors = {
+
+    dominantName = mkOption {
+      type = types.str;
+      default = "green";
+      description = ''
+        The dominant color name of the theme.
+
+        This color should be different on different hosts.
+      '';
+    };
+
+    dominant = mkOption {
+      type = types.str;
+      default = "#b8bb26";
+      description = ''
+        The dominant color of the theme.
+
+        This color should be different on different hosts.
+      '';
+    };
+
+    dimDominant = mkOption {
+      type = types.str;
+      default = "#79740e";
+      description = ''
+        The dominant color of the theme, but dimmed.
+      '';
+    };
+
+    foreground = mkOption {
+      type = types.str;
+      default = "#ebdbb1";
+      description = "The foreground (text) color";
+    };
+
+    dimForeground = mkOption {
+      type = types.str;
+      default = "#928374";
+      description = "Like the foreground color, but one which does not burn the eyes.";
+    };
+
+    background = mkOption {
+      type = types.str;
+      default = "#282828";
+      description = "The background color";
+    };
+
+    softBackground = mkOption {
+      type = types.str;
+      default = "#32302f";
+      description = "Like the background color, but a little bit softer.";
+    };
+
+    lightBackground = mkOption {
+      type = types.str;
+      default = "#504945";
+      description = "Like the background color, but one which burns the eyes a little bit more.";
+    };
+
+    background0 = mkOption {
+      type = types.str;
+      default = "#1d2021";
+      description = "Background level 0";
+    };
+
+    background1 = mkOption {
+      type = types.str;
+      default = "#282828";
+      description = "Background level 1";
+    };
+
+    background2 = mkOption {
+      type = types.str;
+      default = "#3c3836";
+      description = "Background level 2";
+    };
+
+    background3 = mkOption {
+      type = types.str;
+      default = "#504945";
+      description = "Background level 3";
+    };
+
+    background4 = mkOption {
+      type = types.str;
+      default = "#665c54";
+      description = "Background level 4";
+    };
+
+    background5 = mkOption {
+      type = types.str;
+      default = "#7c6f64";
+      description = "Background level 5";
+    };
+
+    background6 = mkOption {
+      type = types.str;
+      default = "#928374";
+      description = "Background level 6";
+    };
+
+    brightRed = mkOption {
+      type = types.str;
+      default = "#fb4934";
+    };
+
+    brightGreen = mkOption {
+      type = types.str;
+      default = "#b8bb26";
+    };
+
+    brightYellow = mkOption {
+      type = types.str;
+      default = "#fabd2f";
+    };
+
+    brightBlue = mkOption {
+      type = types.str;
+      default = "#83a598";
+    };
+
+    brightMagenta = mkOption {
+      type = types.str;
+      default = "#d3869b";
+    };
+
+    brightCyan = mkOption {
+      type = types.str;
+      default = "#8ec07c";
+    };
+
+    brightOrange = mkOption {
+      type = types.str;
+      default = "#fe8019";
+    };
+
+
+    neutralRed = mkOption {
+      type = types.str;
+      default = "#cc241d";
+    };
+
+    neutralGreen = mkOption {
+      type = types.str;
+      default = "#98971a";
+    };
+
+    neutralYellow = mkOption {
+      type = types.str;
+      default = "#d79921";
+    };
+
+    neutralBlue = mkOption {
+      type = types.str;
+      default = "#458588";
+    };
+
+    neutralMagenta = mkOption {
+      type = types.str;
+      default = "#b16286";
+    };
+
+    neutralCyan = mkOption {
+      type = types.str;
+      default = "#689d6a";
+    };
+
+    neutralOrange = mkOption {
+      type = types.str;
+      default = "#d65d0e";
+    };
+
+
+    fadedRed = mkOption {
+      type = types.str;
+      default = "#9d0006";
+    };
+
+    fadedGreen = mkOption {
+      type = types.str;
+      default = "#79740e";
+    };
+
+    fadedYellow = mkOption {
+      type = types.str;
+      default = "#b57614";
+    };
+
+    fadedBlue = mkOption {
+      type = types.str;
+      default = "#076678";
+    };
+
+    fadedMagenta = mkOption {
+      type = types.str;
+      default = "#8f3f71";
+    };
+
+    fadedCyan = mkOption {
+      type = types.str;
+      default = "#427b58";
+    };
+
+    fadedOrange = mkOption {
+      type = types.str;
+      default = "#af3a03";
+    };
+
+  };
+}