2019-07-12 19:37:44 +03:00
|
|
|
/* user.js
|
|
|
|
|
* https://github.com/rafaelmardojai/firefox-gnome-theme/
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
// Enable customChrome.css
|
|
|
|
|
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
|
|
|
|
|
|
2019-07-24 22:21:09 +03:00
|
|
|
// Set UI density to normal
|
|
|
|
|
user_pref("browser.uidensity", 0);
|
|
|
|
|
|
2020-06-07 02:48:01 +03:00
|
|
|
// Enable SVG context-propertes
|
2020-07-04 23:51:58 +03:00
|
|
|
user_pref("svg.context-properties.content.enabled", true);
|
