From e277940558b0d7668097b8ceeea295896ee6074d Mon Sep 17 00:00:00 2001 From: Bruno Alla Date: Fri, 12 Dec 2025 16:31:28 +0000 Subject: [PATCH] Style badges on homepage --- docs/index.md | 4 ++-- docs/theme/stylesheets/extra.css | 7 +++++++ 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/docs/index.md b/docs/index.md index 3888880fa..9e638b914 100644 --- a/docs/index.md +++ b/docs/index.md @@ -17,7 +17,7 @@ } -

+

@@ -27,7 +27,7 @@ -

+
--- diff --git a/docs/theme/stylesheets/extra.css b/docs/theme/stylesheets/extra.css index 826828e6b..f8fae6d49 100644 --- a/docs/theme/stylesheets/extra.css +++ b/docs/theme/stylesheets/extra.css @@ -17,6 +17,13 @@ body hr { border-top: 1px dotted var(--md-accent-fg-color--dark); } +.badges { + display: flex; + flex-direction: row-reverse; + align-content: end; + gap: 8px; +} + /* Cutesy quote styling */ [dir="ltr"] .md-typeset blockquote { font-family: Georgia, serif;