regenerate

2025-09-01 20:33:34 +02:00 · 2020-09-14 08:31:21 -07:00
parent 9d18a7a16c
commit cc279b12c7
6 changed files with 16548 additions and 6469 deletions
--- a/docs/images/favicon.png
+++ b/docs/images/favicon.png
--- a/docs/index.html
+++ b/docs/index.html
--- a/docs/ja-JP/index.html
+++ b/docs/ja-JP/index.html
--- a/docs/placeholder-style.css
+++ b/docs/placeholder-style.css
@@ -66,7 +66,7 @@ h1 {
  padding: 0.2em 0.5em;
 }

-body > header:first-child > h1:first-child {
+body header h1:first-child {
  margin-top: 0;
 }

--- a/docs/zh-CN/index.html
+++ b/docs/zh-CN/index.html