From 613a1fb553a024d7cfc4d3eb95e43f89922ff771 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bruno=20Adel=C3=A9?= Date: Wed, 23 Jul 2025 10:08:52 +0200 Subject: [PATCH] feat(docs): enhance styling for typeset --- docs/site/static/extra.css | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/docs/site/static/extra.css b/docs/site/static/extra.css index e4346b908..a5b2379ca 100644 --- a/docs/site/static/extra.css +++ b/docs/site/static/extra.css @@ -2,6 +2,7 @@ font-family: "Roboto"; src: url(./Roboto-Regular.ttf) format("truetype"); } + @font-face { font-family: "Fira Code"; src: url(./FiraCode-VF.ttf) format("truetype"); @@ -17,6 +18,12 @@ } .md-nav__title, -.md-nav__item.md-nav__item--section > label > span { +.md-nav__item.md-nav__item--section>label>span { color: var(--md-typeset-a-color); } + +.md-typeset h4 { + margin: 3em 0 0.5em; + font-weight: bold; + color: #7ebae4; +}