From bbca807f3aa25d026fe65f0959b406ab53adf2d2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Benjamin=20Cab=C3=A9?= Date: Wed, 27 Nov 2024 09:58:28 +0100 Subject: [PATCH] doc: css: boards: fix font size for board name MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The board name should have the same size as all the other attributes in the board's "Wikipedia card". Signed-off-by: Benjamin Cabé --- doc/_static/css/custom.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css index b7e4e54e881..1bc107e11c2 100644 --- a/doc/_static/css/custom.css +++ b/doc/_static/css/custom.css @@ -1171,3 +1171,7 @@ li>a.code-sample-link.reference.internal.current { text-overflow: ellipsis; overflow: hidden; } + +.sidebar.board-overview dl.field-list>dd code { + font-size: 0.9em; +}