diff options
| author | Alexander Kassouni <alex@kassouni.net> | 2026-07-25 20:26:11 -0700 |
|---|---|---|
| committer | Alexander Kassouni <alex@kassouni.net> | 2026-07-25 20:26:11 -0700 |
| commit | ecec5136f63d32862a42117c957f1f5bab65d13b (patch) | |
| tree | 8569ae3b4b666505586ac716c98e3d9810a119b0 /users/kassouni/theme.nix | |
| parent | 2f815bb8fbf9397c92f0d88b80dd83c6ef5698b7 (diff) | |
rofi theming, command palette
Diffstat (limited to 'users/kassouni/theme.nix')
| -rw-r--r-- | users/kassouni/theme.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/users/kassouni/theme.nix b/users/kassouni/theme.nix index 9d049e7..4c96615 100644 --- a/users/kassouni/theme.nix +++ b/users/kassouni/theme.nix @@ -5,8 +5,8 @@ theme = { font = { size = lib.mkOption { - type = lib.types.float; - default = 12.0; + type = lib.types.int; + default = 24; description = "Global font size for all applications"; }; |