From f5ad491930571ca33a0d63468d62a35548d1388c Mon Sep 17 00:00:00 2001 From: Alexander Heldt Date: Sat, 23 Sep 2023 11:22:57 +0200 Subject: [PATCH] pinwheel: Style `work` profile of `firefox` --- hosts/pinwheel/modules/firefox/default.nix | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/hosts/pinwheel/modules/firefox/default.nix b/hosts/pinwheel/modules/firefox/default.nix index 3bee597..e92c3f6 100644 --- a/hosts/pinwheel/modules/firefox/default.nix +++ b/hosts/pinwheel/modules/firefox/default.nix @@ -56,7 +56,15 @@ in id = 1; name = "work"; - settings = sharedSettings // {}; + settings = sharedSettings // { + "toolkit.legacyUserProfileCustomizations.stylesheets" = true; + }; + + userChrome = '' + .tab-content { + border-top: solid #9400FF !important; + } + ''; }; }; };