Firefox has historically allowed extensive UI customization through userChrome.css, but this mechanism is neither a supported API nor a reliably documented one. It is powerful enough that many users depend on it, yet unstable enough that UI redesigns...