pmOS-tweaks/fenix-fox
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add CSS for about:preferences (MR 8)

Browse source
This commit is contained in:
plata 2021-05-15 18:33:29 +00:00 committed by Oliver Smith
parent c77ba05450
commit 0765d1a25f
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB
3 changed files with 40 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Makefile
View file

@ -2,12 +2,13 @@
# SPDX-License-Identifier: GPL-3.0-or-later
USERCHROME_FILES := $(sort $(wildcard src/userChrome/*.css))
USERCONTENT_FILES := $(sort $(wildcard src/userContent/*.css))
HOMEPAGE_FILES := head.html distro_links.html bottom.html
DISTRO := postmarketOS
DESTDIR :=
FIREFOX_DIR := /usr/lib/firefox
all: out/home.html out/userChrome.css
all: out/home.html out/userChrome.css out/userContent.css
clean:
rm -rf out
@ -22,6 +23,9 @@ out/home.html: src/homepage/*.html out
out/userChrome.css: $(USERCHROME_FILES) out
cat $(USERCHROME_FILES) > $@
out/userContent.css: $(USERCONTENT_FILES) out
cat $(USERCONTENT_FILES) > $@
install: all
install -Dm644 src/policies.json \
"$(DESTDIR)/etc/firefox/policies/policies.json"
@ -33,5 +37,7 @@ install: all
"$(DESTDIR)/usr/share/mobile-config-firefox/home.html"
install -Dm644 "out/userChrome.css" \
"$(DESTDIR)/etc/mobile-config-firefox/userChrome.css"
install -Dm644 "out/userContent.css" \
"$(DESTDIR)/etc/mobile-config-firefox/userContent.css"
.PHONY: all clean install

16
src/mobile-config-autoconfig.js
View file

@ -31,3 +31,19 @@ if (chromeFile.exists() && defaultChrome.exists() &&
if (!chromeFile.exists()) {
defaultChrome.copyTo(chromeDir, "userChrome.css");
}
// Create nsIFile objects for userContent.css in <profile>/chrome/ and in /etc/
var contentFile = chromeDir.clone();
contentFile.append("userContent.css");
var defaultContent = new FileUtils.File("/etc/mobile-config-firefox/userContent.css");
// Remove the existing userContent.css if older than the installed one
if (contentFile.exists() && defaultContent.exists() &&
contentFile.lastModifiedTime < defaultContent.lastModifiedTime) {
contentFile.remove(false);
}
// Copy userContent.css to <profile>/chrome/
if (!contentFile.exists()) {
defaultContent.copyTo(chromeDir, "userContent.css");
}

17
src/userContent/preferences.css Normal file
View file

@ -0,0 +1,17 @@
@-moz-document url("about:preferences"), url-prefix("about:preferences") {
/* avoid that sidebar is too wide */
.navigation {
max-width: 50px;
}
/* reduce space around category icons */
#categories > .category {
margin-inline-start: 2px !important;
padding-inline: 2px !important;
}
/* reduce space around footer icons (addons, help) */
.sidebar-footer-list {
margin-inline: 2px !important;
}
}