From 5584492f3d27155e9bff4b10f4d8d692d0994ff3 Mon Sep 17 00:00:00 2001 From: krahets Date: Tue, 16 Apr 2024 04:14:19 +0800 Subject: [PATCH] deploy --- en/sitemap.xml.gz | Bin 606 -> 606 bytes en/stylesheets/extra.css | 6 +++++- sitemap.xml.gz | Bin 1012 -> 1012 bytes stylesheets/extra.css | 6 +++++- zh-hant/sitemap.xml.gz | Bin 1011 -> 1011 bytes zh-hant/stylesheets/extra.css | 6 +++++- 6 files changed, 15 insertions(+), 3 deletions(-) diff --git a/en/sitemap.xml.gz b/en/sitemap.xml.gz index a1bca464cc4ec8fefc6c4f8ecb153faeb1c181b9..4478393faf5023147bbac7daba01503372bd6389 100644 GIT binary patch delta 15 Wcmcb|a*u^gzMF$%cjrd72qpk3DFoU8 delta 15 Wcmcb|a*u^gzMF%iyL}^D1QP%#{{*N2 diff --git a/en/stylesheets/extra.css b/en/stylesheets/extra.css index 0ea7f10ce..d85e15916 100644 --- a/en/stylesheets/extra.css +++ b/en/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 */ diff --git a/sitemap.xml.gz b/sitemap.xml.gz index d1e9a579a8e6ac1aa44213b5c64944e53fedeb1b..96dec3d903a67d645b0e68ded2ef743bcf7baf19 100644 GIT binary patch delta 15 Wcmeyu{)L@QzMF$%W#>k=cgz4Spaqct delta 15 Wcmeyu{)L@QzMF%iqJ1OVJ7xeZa0Olf diff --git a/stylesheets/extra.css b/stylesheets/extra.css index 0ea7f10ce..d85e15916 100644 --- a/stylesheets/extra.css +++ b/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 */ diff --git a/zh-hant/sitemap.xml.gz b/zh-hant/sitemap.xml.gz index a76616cb8a2bea4c83bff7d98bd2f87f08efc251..b3d5f27a1a288a1e801c8f63aa85235cd58b2b7b 100644 GIT binary patch delta 15 Wcmey&{+XRkzMF$%bLU33x6A-7z6F>7 delta 15 Wcmey&{+XRkzMF%ixqTzsTV?<(lm%u0 diff --git a/zh-hant/stylesheets/extra.css b/zh-hant/stylesheets/extra.css index 0ea7f10ce..d85e15916 100644 --- a/zh-hant/stylesheets/extra.css +++ b/zh-hant/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 */