Widen the source section of the header (robolectric#241)

This will make the latest version tag full visible. Fixes robolectric#240
MGaetan89 · May 28, 2024 · df9ae0f · df9ae0f
1 parent 2aee38f
commit df9ae0f
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
@@ -3,3 +3,12 @@
     --md-primary-fg-color--light: #7FC06B;
     --md-primary-fg-color--dark: #7FC06B;
 }
+
+/* Make source part of the header a bit wider to avoid cutting off version tags. */
+@media screen and (min-width: 60em) {
+    .md-header__source {
+        display: block;
+        max-width: 13rem;
+        width: 13rem;
+    }
+}