diff options
| author |  Tom Willemse | 2022-07-01 18:55:02 -0700 |
|---|---|---|
| committer | Tom Willemse | 2022-09-22 23:52:01 -0700 |
| commit | 513459d4dd6986c325ee18e4dee8502542e029c6 (patch) | |
| tree | 82c1fdd5e9975aea378342b976cbb2a7d1cec9de /firefox | |
| parent | 1d8a14276dad110fac18fb9d307941a31b984990 (diff) | |
| download | new-dotfiles-513459d4dd6986c325ee18e4dee8502542e029c6.tar.gz new-dotfiles-513459d4dd6986c325ee18e4dee8502542e029c6.zip | |
[firefox] Make it possible to stow firefox configuration
- Put ‘userChrome.css’ into the ‘src/’ directory and have stow ignore any such
directory.
- Dynamically find the name of the default firefox profile.
- In case the firefox profile can't be found, output some messages stating such.
- Update the ‘userChrome.css’ as used by Firefox.
Diffstat (limited to 'firefox')
| -rw-r--r-- | firefox/.gitignore | 1 | ||||
| -rw-r--r-- | firefox/src/userChrome.css (renamed from firefox/userChrome.css) | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/firefox/.gitignore b/firefox/.gitignore new file mode 100644 index 0000000..d029b17 --- /dev/null +++ b/firefox/.gitignore @@ -0,0 +1 @@ +.mozilla/ diff --git a/firefox/userChrome.css b/firefox/src/userChrome.css index ba87743..93e7d9a 100644 --- a/firefox/userChrome.css +++ b/firefox/src/userChrome.css @@ -1,4 +1,4 @@ -#tabbrowser-tabs, #tabbrowser-tabs > .tabbrowser-arrowscrollbox { +#tabbrowser-tabs, #tabbrowser-arrowscrollbox { min-height: 0 !important; } |