Remove gap between title and subtitle

assets/app.js

@@ -381,7 +381,7 @@
     var header = document.querySelector('.header');
     if (!header) return;
     function update() {
-      document.documentElement.style.setProperty('--header-h', header.offsetHeight + 'px');
+      document.documentElement.style.setProperty('--header-h', header.getBoundingClientRect().height + 'px');
     }
     update();
     if (window.ResizeObserver) new ResizeObserver(update).observe(header);

assets/style.css

@@ -88,7 +88,7 @@ a { color: var(--accent); }
     margin-top: -16px; padding-top: 16px;
   }
   .tabs {
-    position: sticky; top: var(--header-h, 100px); z-index: 19; background: var(--bg);
+    position: sticky; top: calc(var(--header-h, 100px) - 1px); z-index: 19; /* 1px overlap: no gap from rounding */ background: var(--bg);
     margin-bottom: 0; padding-top: 2px;
   }
   .tabs ~ [role="tabpanel"] { padding-top: 12px; }

index.html

@@ -4,7 +4,7 @@
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <!-- Bumped with every data refresh (shown in the header). -->
-  <meta name="selectarena-version" content="0.8.5">
+  <meta name="selectarena-version" content="0.8.6">
   <title>SelectArena Leaderboard</title>
   <meta name="description" content="Leaderboard of feature selection methods on real-world tabular data.">
   <link rel="icon" type="image/svg+xml" href="assets/logo.svg">