deploy

7 months ago · 5584492f3d
parent 0c425cccfe
commit 5584492f3d
6 changed files with 15 additions and 3 deletions
--- a/en/sitemap.xml.gz
+++ b/en/sitemap.xml.gz
--- 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 */
--- a/sitemap.xml.gz
+++ b/sitemap.xml.gz
--- 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 */
--- a/zh-hant/sitemap.xml.gz
+++ b/zh-hant/sitemap.xml.gz
--- 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 */