Об этом дополнении
(Technical note: This extension is essentially a userChrome.css packaged into an extension format because, for some people, installing an extension is easier than locating and editing userChrome.css. For people who prefer to use userChrome.css, a copy of the CSS overrides used by this extension is available for download from the extension's homepage.)