Skip to content

Commit e671fab

Browse files
eed3si9need3si9n
committed
updated site
1 parent 9a908fc commit e671fab

File tree

109 files changed

+5455
-112
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

109 files changed

+5455
-112
lines changed

Diff for: ‎2.x/docs/en/404.html

+53-1
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@
3232
<!-- Custom theme stylesheets -->
3333
<link rel="stylesheet" href="src/reference/custom-202410.css">
3434
<link rel="stylesheet" href="src/reference/mdbook-admonish.css">
35+
<link rel="stylesheet" href="theme/language-picker.css">
3536

3637
</head>
3738
<body class="sidebar-visible no-js">
@@ -147,6 +148,57 @@
147148
<h1 class="menu-title">The Book of sbt</h1>
148149

149150
<div class="right-buttons">
151+
<button id="language-toggle" class="icon-button" type="button"
152+
title="Change language" aria-label="Change language"
153+
aria-haspopup="true" aria-expanded="false"
154+
aria-controls="language-list">
155+
<i class="fa fa-globe"></i>
156+
</button>
157+
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
158+
<li role="none"><button role="menuitem" class="theme">
159+
<a id="en">English</a>
160+
</button></li>
161+
<li role="none"><button role="menuitem" class="theme">
162+
<a id="zh-cn">Chinese Simplified (中文)</a>
163+
</button></li>
164+
<li role="none"><button role="menuitem" class="theme">
165+
<a id="ja">Japanese (日本語)</a>
166+
</button></li>
167+
</ul>
168+
<script>
169+
let langToggle = document.getElementById("language-toggle");
170+
let langList = document.getElementById("language-list");
171+
langToggle.addEventListener("click", (event) => {
172+
langList.style.display = langList.style.display == "block" ? "none" : "block";
173+
});
174+
let selectedLang = document.getElementById("en");
175+
if (selectedLang) {
176+
selectedLang.parentNode.classList.add("theme-selected");
177+
}
178+
179+
// The path to the root, taking the current
180+
// language into account.
181+
let full_path_to_root = "../";
182+
// The page path (mdbook only gives us
183+
// access to the path to the Markdown file).
184+
let path = "404.md".replace(/\.md$/, ".html");
185+
for (let lang of langList.querySelectorAll("a")) {
186+
lang.href = `${full_path_to_root}${lang.id}/${path}`;
187+
}
188+
189+
// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
190+
langList.querySelectorAll("li").forEach(function(li) {
191+
li.addEventListener("click", function(event) {
192+
event.preventDefault();
193+
194+
let link = this.querySelector("a");
195+
if (link && window.location.href !== link.href) {
196+
window.location.href = link.href;
197+
}
198+
});
199+
});
200+
</script>
201+
150202
<a href="print.html" title="Print this book" aria-label="Print this book">
151203
<i id="print-button" class="fa fa-print"></i>
152204
</a>
@@ -217,4 +269,4 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
217269

218270
</div>
219271
</body>
220-
</html>
272+
</html>

Diff for: ‎2.x/docs/en/Setup.html

+53-1
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@
3131
<!-- Custom theme stylesheets -->
3232
<link rel="stylesheet" href="src/reference/custom-202410.css">
3333
<link rel="stylesheet" href="src/reference/mdbook-admonish.css">
34+
<link rel="stylesheet" href="theme/language-picker.css">
3435

3536
</head>
3637
<body class="sidebar-visible no-js">
@@ -146,6 +147,57 @@
146147
<h1 class="menu-title">The Book of sbt</h1>
147148

148149
<div class="right-buttons">
150+
<button id="language-toggle" class="icon-button" type="button"
151+
title="Change language" aria-label="Change language"
152+
aria-haspopup="true" aria-expanded="false"
153+
aria-controls="language-list">
154+
<i class="fa fa-globe"></i>
155+
</button>
156+
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
157+
<li role="none"><button role="menuitem" class="theme">
158+
<a id="en">English</a>
159+
</button></li>
160+
<li role="none"><button role="menuitem" class="theme">
161+
<a id="zh-cn">Chinese Simplified (中文)</a>
162+
</button></li>
163+
<li role="none"><button role="menuitem" class="theme">
164+
<a id="ja">Japanese (日本語)</a>
165+
</button></li>
166+
</ul>
167+
<script>
168+
let langToggle = document.getElementById("language-toggle");
169+
let langList = document.getElementById("language-list");
170+
langToggle.addEventListener("click", (event) => {
171+
langList.style.display = langList.style.display == "block" ? "none" : "block";
172+
});
173+
let selectedLang = document.getElementById("en");
174+
if (selectedLang) {
175+
selectedLang.parentNode.classList.add("theme-selected");
176+
}
177+
178+
// The path to the root, taking the current
179+
// language into account.
180+
let full_path_to_root = "../";
181+
// The page path (mdbook only gives us
182+
// access to the path to the Markdown file).
183+
let path = "Setup.md".replace(/\.md$/, ".html");
184+
for (let lang of langList.querySelectorAll("a")) {
185+
lang.href = `${full_path_to_root}${lang.id}/${path}`;
186+
}
187+
188+
// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
189+
langList.querySelectorAll("li").forEach(function(li) {
190+
li.addEventListener("click", function(event) {
191+
event.preventDefault();
192+
193+
let link = this.querySelector("a");
194+
if (link && window.location.href !== link.href) {
195+
window.location.href = link.href;
196+
}
197+
});
198+
});
199+
</script>
200+
149201
<a href="print.html" title="Print this book" aria-label="Print this book">
150202
<i id="print-button" class="fa fa-print"></i>
151203
</a>
@@ -254,4 +306,4 @@ <h2 id="verify-the-sbt-runner"><a class="header" href="#verify-the-sbt-runner">V
254306

255307
</div>
256308
</body>
257-
</html>
309+
</html>

Diff for: ‎2.x/docs/en/appendix/glossary.html

+53-1
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@
3131
<!-- Custom theme stylesheets -->
3232
<link rel="stylesheet" href="../src/reference/custom-202410.css">
3333
<link rel="stylesheet" href="../src/reference/mdbook-admonish.css">
34+
<link rel="stylesheet" href="../theme/language-picker.css">
3435

3536
</head>
3637
<body class="sidebar-visible no-js">
@@ -146,6 +147,57 @@
146147
<h1 class="menu-title">The Book of sbt</h1>
147148

148149
<div class="right-buttons">
150+
<button id="language-toggle" class="icon-button" type="button"
151+
title="Change language" aria-label="Change language"
152+
aria-haspopup="true" aria-expanded="false"
153+
aria-controls="language-list">
154+
<i class="fa fa-globe"></i>
155+
</button>
156+
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
157+
<li role="none"><button role="menuitem" class="theme">
158+
<a id="en">English</a>
159+
</button></li>
160+
<li role="none"><button role="menuitem" class="theme">
161+
<a id="zh-cn">Chinese Simplified (中文)</a>
162+
</button></li>
163+
<li role="none"><button role="menuitem" class="theme">
164+
<a id="ja">Japanese (日本語)</a>
165+
</button></li>
166+
</ul>
167+
<script>
168+
let langToggle = document.getElementById("language-toggle");
169+
let langList = document.getElementById("language-list");
170+
langToggle.addEventListener("click", (event) => {
171+
langList.style.display = langList.style.display == "block" ? "none" : "block";
172+
});
173+
let selectedLang = document.getElementById("en");
174+
if (selectedLang) {
175+
selectedLang.parentNode.classList.add("theme-selected");
176+
}
177+
178+
// The path to the root, taking the current
179+
// language into account.
180+
let full_path_to_root = "../../";
181+
// The page path (mdbook only gives us
182+
// access to the path to the Markdown file).
183+
let path = "appendix/glossary.md".replace(/\.md$/, ".html");
184+
for (let lang of langList.querySelectorAll("a")) {
185+
lang.href = `${full_path_to_root}${lang.id}/${path}`;
186+
}
187+
188+
// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
189+
langList.querySelectorAll("li").forEach(function(li) {
190+
li.addEventListener("click", function(event) {
191+
event.preventDefault();
192+
193+
let link = this.querySelector("a");
194+
if (link && window.location.href !== link.href) {
195+
window.location.href = link.href;
196+
}
197+
});
198+
});
199+
</script>
200+
149201
<a href="../print.html" title="Print this book" aria-label="Print this book">
150202
<i id="print-button" class="fa fa-print"></i>
151203
</a>
@@ -406,4 +458,4 @@ <h3 id="value"><a class="header" href="#value"><code>value</code></a></h3>
406458

407459
</div>
408460
</body>
409-
</html>
461+
</html>

Diff for: ‎2.x/docs/en/appendix/setup-notes.html

+53-1
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@
3131
<!-- Custom theme stylesheets -->
3232
<link rel="stylesheet" href="../src/reference/custom-202410.css">
3333
<link rel="stylesheet" href="../src/reference/mdbook-admonish.css">
34+
<link rel="stylesheet" href="../theme/language-picker.css">
3435

3536
</head>
3637
<body class="sidebar-visible no-js">
@@ -146,6 +147,57 @@
146147
<h1 class="menu-title">The Book of sbt</h1>
147148

148149
<div class="right-buttons">
150+
<button id="language-toggle" class="icon-button" type="button"
151+
title="Change language" aria-label="Change language"
152+
aria-haspopup="true" aria-expanded="false"
153+
aria-controls="language-list">
154+
<i class="fa fa-globe"></i>
155+
</button>
156+
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
157+
<li role="none"><button role="menuitem" class="theme">
158+
<a id="en">English</a>
159+
</button></li>
160+
<li role="none"><button role="menuitem" class="theme">
161+
<a id="zh-cn">Chinese Simplified (中文)</a>
162+
</button></li>
163+
<li role="none"><button role="menuitem" class="theme">
164+
<a id="ja">Japanese (日本語)</a>
165+
</button></li>
166+
</ul>
167+
<script>
168+
let langToggle = document.getElementById("language-toggle");
169+
let langList = document.getElementById("language-list");
170+
langToggle.addEventListener("click", (event) => {
171+
langList.style.display = langList.style.display == "block" ? "none" : "block";
172+
});
173+
let selectedLang = document.getElementById("en");
174+
if (selectedLang) {
175+
selectedLang.parentNode.classList.add("theme-selected");
176+
}
177+
178+
// The path to the root, taking the current
179+
// language into account.
180+
let full_path_to_root = "../../";
181+
// The page path (mdbook only gives us
182+
// access to the path to the Markdown file).
183+
let path = "appendix/setup-notes.md".replace(/\.md$/, ".html");
184+
for (let lang of langList.querySelectorAll("a")) {
185+
lang.href = `${full_path_to_root}${lang.id}/${path}`;
186+
}
187+
188+
// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
189+
langList.querySelectorAll("li").forEach(function(li) {
190+
li.addEventListener("click", function(event) {
191+
event.preventDefault();
192+
193+
let link = this.querySelector("a");
194+
if (link && window.location.href !== link.href) {
195+
window.location.href = link.href;
196+
}
197+
});
198+
});
199+
</script>
200+
149201
<a href="../print.html" title="Print this book" aria-label="Print this book">
150202
<i id="print-button" class="fa fa-print"></i>
151203
</a>
@@ -288,4 +340,4 @@ <h4 id="red-hat-enterprise-linux-and-other-rpm-based-distributions"><a class="he
288340

289341
</div>
290342
</body>
291-
</html>
343+
</html>

Diff for: ‎2.x/docs/en/changes/index.html

+53-1
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@
3131
<!-- Custom theme stylesheets -->
3232
<link rel="stylesheet" href="../src/reference/custom-202410.css">
3333
<link rel="stylesheet" href="../src/reference/mdbook-admonish.css">
34+
<link rel="stylesheet" href="../theme/language-picker.css">
3435

3536
</head>
3637
<body class="sidebar-visible no-js">
@@ -146,6 +147,57 @@
146147
<h1 class="menu-title">The Book of sbt</h1>
147148

148149
<div class="right-buttons">
150+
<button id="language-toggle" class="icon-button" type="button"
151+
title="Change language" aria-label="Change language"
152+
aria-haspopup="true" aria-expanded="false"
153+
aria-controls="language-list">
154+
<i class="fa fa-globe"></i>
155+
</button>
156+
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
157+
<li role="none"><button role="menuitem" class="theme">
158+
<a id="en">English</a>
159+
</button></li>
160+
<li role="none"><button role="menuitem" class="theme">
161+
<a id="zh-cn">Chinese Simplified (中文)</a>
162+
</button></li>
163+
<li role="none"><button role="menuitem" class="theme">
164+
<a id="ja">Japanese (日本語)</a>
165+
</button></li>
166+
</ul>
167+
<script>
168+
let langToggle = document.getElementById("language-toggle");
169+
let langList = document.getElementById("language-list");
170+
langToggle.addEventListener("click", (event) => {
171+
langList.style.display = langList.style.display == "block" ? "none" : "block";
172+
});
173+
let selectedLang = document.getElementById("en");
174+
if (selectedLang) {
175+
selectedLang.parentNode.classList.add("theme-selected");
176+
}
177+
178+
// The path to the root, taking the current
179+
// language into account.
180+
let full_path_to_root = "../../";
181+
// The page path (mdbook only gives us
182+
// access to the path to the Markdown file).
183+
let path = "changes/index.md".replace(/\.md$/, ".html");
184+
for (let lang of langList.querySelectorAll("a")) {
185+
lang.href = `${full_path_to_root}${lang.id}/${path}`;
186+
}
187+
188+
// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
189+
langList.querySelectorAll("li").forEach(function(li) {
190+
li.addEventListener("click", function(event) {
191+
event.preventDefault();
192+
193+
let link = this.querySelector("a");
194+
if (link && window.location.href !== link.href) {
195+
window.location.href = link.href;
196+
}
197+
});
198+
});
199+
</script>
200+
149201
<a href="../print.html" title="Print this book" aria-label="Print this book">
150202
<i id="print-button" class="fa fa-print"></i>
151203
</a>
@@ -227,4 +279,4 @@ <h1 id="changes"><a class="header" href="#changes">Changes</a></h1>
227279

228280
</div>
229281
</body>
230-
</html>
282+
</html>

0 commit comments

Comments
 (0)