From fa34bc7aeae6daf21349afed5aeb42a1624f476a Mon Sep 17 00:00:00 2001 From: krahets Date: Tue, 16 Apr 2024 04:14:14 +0800 Subject: [PATCH] build --- overrides/stylesheets/extra.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/overrides/stylesheets/extra.css b/overrides/stylesheets/extra.css index 0ea7f10ce..d85e15916 100644 --- a/overrides/stylesheets/extra.css +++ b/overrides/stylesheets/extra.css @@ -209,7 +209,11 @@ body { /* code block tabs */ .md-typeset .tabbed-labels>label { - font-size: 0.545rem; + font-size: 0.61rem; +} + +.md-typeset .tabbed-labels--linked>label>a { + padding: .78125em 1.0em .625em; } /* header banner */