diff --git a/userChrome.css b/userChrome.css index 922a4e9..a3db14f 100644 --- a/userChrome.css +++ b/userChrome.css @@ -1,6 +1,11 @@ @media -moz-pref("browser.nova.enabled") { - /* Fix pinned tabs to not be extra tall (by 5px) */ + /* Help with syntax highlighting in helix. The media query seems to throw + * it off. */ :root { + } + + :root { + /* Fix pinned tabs to not be extra tall (by 5px) */ --tab-height-with-margin-padding: calc( var(--tab-min-height) + (2 * var(--tab-margin-block)) ) !important;