UserChrome.css: Difference between revisions
From MozillaZine Knowledge Base
Jump to navigationJump to search
m (minor edit of intro) |
m (added info about chromedit extension) |
||
| Line 3: | Line 3: | ||
==Editing== | ==Editing== | ||
This file is | This file is designed to be manually edited using a text editor. Anything valid in a [[CSS]] file is valid in this file. The application must be restarted for changes to take effect (to get around this, you could use the [https://addons.mozilla.org/extensions/moreinfo.php?id=2108 Stylish extension]). For sample styles, see: | ||
* [http://userstyles.org userstyles.org] | * [http://userstyles.org userstyles.org] | ||
* [http://www.mozilla.org/support/firefox/tips#appearance Firefox Help: Tips & Tricks: Browser Appearance] | * [http://www.mozilla.org/support/firefox/tips#appearance Firefox Help: Tips & Tricks: Browser Appearance] | ||
| Line 21: | Line 21: | ||
==See also== | ==See also== | ||
* [[Chrome element names and IDs]] | * [[Chrome element names and IDs]] | ||
==External links== | |||
* The [https://addons.mozilla.org/extensions/moreinfo.php?id=17 ChromEdit] extension provides a convenient way of editing the configuration files described in this article. | |||
[[Category:Configuration]] | [[Category:Configuration]] | ||
Revision as of 14:31, 14 March 2006
userChrome.css in the chrome folder is a CSS file that can be used to change the way Mozilla applications' interfaces look. This file does not exist in a new profile; it can be created manually.
Editing
This file is designed to be manually edited using a text editor. Anything valid in a CSS file is valid in this file. The application must be restarted for changes to take effect (to get around this, you could use the Stylish extension). For sample styles, see:
- userstyles.org
- Firefox Help: Tips & Tricks: Browser Appearance
- Category:Visual customizations (Firefox)
Moving
This file can be moved to a different profile. If it contains imports or references to other files such as images, these files should be moved along with it.
Deleting
Deleting userChrome.css will get rid of any user styles defined upon restart.
Related files and folders
See also
External links
- The ChromEdit extension provides a convenient way of editing the configuration files described in this article.
