pinwheel: Style work profile of firefox

2023-09-23 11:22:57 +02:00
parent 023fab5570
commit f5ad491930
1 changed files with 9 additions and 1 deletions
--- 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;
+            }
+          '';
        };
      };
    };