diff options
author | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2025-04-02 18:13:25 +0200 |
---|---|---|
committer | Benedikt Peetz <benedikt.peetz@b-peetz.de> | 2025-04-02 18:15:48 +0200 |
commit | 4d04e90f0941350957afe7ffe17e99fe27eca2b9 (patch) | |
tree | 93291063f47d4d7f69c7955903141bdacc4b5373 /modules/home.legacy/conf/firefox/config/chrome/userChrome.css | |
parent | refactor(treewide): Remove `river_init_lesser` (diff) | |
download | nixos-config-4d04e90f0941350957afe7ffe17e99fe27eca2b9.zip |
refactor(modules/legacy/firefox): Move to by-name
This also improves the arkanfox-integration and the profile id generation.
Diffstat (limited to 'modules/home.legacy/conf/firefox/config/chrome/userChrome.css')
-rw-r--r-- | modules/home.legacy/conf/firefox/config/chrome/userChrome.css | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/modules/home.legacy/conf/firefox/config/chrome/userChrome.css b/modules/home.legacy/conf/firefox/config/chrome/userChrome.css deleted file mode 100644 index 0b3aff77..00000000 --- a/modules/home.legacy/conf/firefox/config/chrome/userChrome.css +++ /dev/null @@ -1,41 +0,0 @@ -/* thickness of tab when you have too many open tabs */ -.tabbrowser-tab:not([pinned="true"]) { - min-width: 10px !important; - min-height: 10px !important; -} - -/* tab height -#TabsToolbar .tabbrowser-tabs { -min-height: 10px !important; -} -*/ - -/* -.tabbrowser-tab {min-width: 016px !important;} -.tabbrowser-tab {clip-width: 016px !important;} -*/ - -/* the + button that opens new tabs */ -#TabsToolbar .tabs-newtab-button { - margin-left: 10px !important; - height: Auto !important; -} - -#main-window[privatebrowsingmode="temporary"] #navigator-toolbox { - background-color: #c40944 !important; -} - -/* close button inside a tab */ -.tab-close-button * { - width: 10px !important; - height: 10px !important; -} - -/* bookmark toolbar */ -#personal-bookmarks .bookmark-item > .toolbarbutton-text { - font-size: 10pt !important; -} -#personal-bookmarks .bookmark-item > .toolbarbutton-icon { - height: 12px !important; - width: 12px !important; -} |