diff options
| -rwxr-xr-x | firefox-profile-sync | 3 | ||||
| -rw-r--r-- | profile/chrome/misc/include.css (renamed from chrome/misc/include.css) | 0 | ||||
| -rw-r--r-- | profile/chrome/misc/orig.css (renamed from chrome/misc/orig.css) | 0 | ||||
| -rw-r--r-- | profile/chrome/status/panel.css (renamed from chrome/status/panel.css) | 0 | ||||
| -rw-r--r-- | profile/chrome/tabs/hide.css (renamed from chrome/tabs/hide.css) | 0 | ||||
| -rw-r--r-- | profile/chrome/tabs/tree.css (renamed from chrome/tabs/tree.css) | 0 | ||||
| -rw-r--r-- | profile/chrome/tridactyl/main.css (renamed from chrome/tridactyl/main.css) | 0 | ||||
| -rw-r--r-- | profile/chrome/userChrome.css (renamed from chrome/userChrome.css) | 0 | ||||
| -rw-r--r-- | profile/user.js | 11 |
9 files changed, 13 insertions, 1 deletions
diff --git a/firefox-profile-sync b/firefox-profile-sync index 3b0196a..367d9dd 100755 --- a/firefox-profile-sync +++ b/firefox-profile-sync @@ -15,5 +15,6 @@ cd $PROFILES # Dispatch for profile in *; do echo "Syncing $profile..." - rsync -q -av --delete $BASEDIR/chrome/ $profile/chrome/ + rsync -q -av --delete $BASEDIR/profile/chrome/ $profile/chrome/ + cp $BASEDIR/profile/user.js $profile/user.js done diff --git a/chrome/misc/include.css b/profile/chrome/misc/include.css index 6bb46df..6bb46df 100644 --- a/chrome/misc/include.css +++ b/profile/chrome/misc/include.css diff --git a/chrome/misc/orig.css b/profile/chrome/misc/orig.css index 90a2e64..90a2e64 100644 --- a/chrome/misc/orig.css +++ b/profile/chrome/misc/orig.css diff --git a/chrome/status/panel.css b/profile/chrome/status/panel.css index 0ef0368..0ef0368 100644 --- a/chrome/status/panel.css +++ b/profile/chrome/status/panel.css diff --git a/chrome/tabs/hide.css b/profile/chrome/tabs/hide.css index db68534..db68534 100644 --- a/chrome/tabs/hide.css +++ b/profile/chrome/tabs/hide.css diff --git a/chrome/tabs/tree.css b/profile/chrome/tabs/tree.css index c41206a..c41206a 100644 --- a/chrome/tabs/tree.css +++ b/profile/chrome/tabs/tree.css diff --git a/chrome/tridactyl/main.css b/profile/chrome/tridactyl/main.css index d636594..d636594 100644 --- a/chrome/tridactyl/main.css +++ b/profile/chrome/tridactyl/main.css diff --git a/chrome/userChrome.css b/profile/chrome/userChrome.css index 6ebfd6f..6ebfd6f 100644 --- a/chrome/userChrome.css +++ b/profile/chrome/userChrome.css diff --git a/profile/user.js b/profile/user.js new file mode 100644 index 0000000..cd0301a --- /dev/null +++ b/profile/user.js @@ -0,0 +1,11 @@ +/*/ + * User.js file + * https://kb.mozillazine.org/User.js_file + * http://kb.mozillazine.org/About:config_entries + */ + +// Enable userChrome.css +user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true); + +// Enable the :has selector +user_pref("layout.css.has-selector.enabled", true); |