Skip to content

Commit

Permalink
updated site
Browse files Browse the repository at this point in the history
  • Loading branch information
@eed3si9n
eed3si9n committed Oct 31, 2024
1 parent 9a908fc commit e671fab
Show file tree
Hide file tree
Showing 109 changed files with 5,455 additions and 112 deletions.
54 changes: 53 additions & 1 deletion 2.x/docs/en/404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@
<!-- Custom theme stylesheets -->
<link rel="stylesheet" href="src/reference/custom-202410.css">
<link rel="stylesheet" href="src/reference/mdbook-admonish.css">
<link rel="stylesheet" href="theme/language-picker.css">

</head>
<body class="sidebar-visible no-js">
Expand Down Expand Up @@ -147,6 +148,57 @@
<h1 class="menu-title">The Book of sbt</h1>

<div class="right-buttons">
<button id="language-toggle" class="icon-button" type="button"
title="Change language" aria-label="Change language"
aria-haspopup="true" aria-expanded="false"
aria-controls="language-list">
<i class="fa fa-globe"></i>
</button>
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
<li role="none"><button role="menuitem" class="theme">
<a id="en">English</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="zh-cn">Chinese Simplified (中文)</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="ja">Japanese (日本語)</a>
</button></li>
</ul>
<script>
let langToggle = document.getElementById("language-toggle");
let langList = document.getElementById("language-list");
langToggle.addEventListener("click", (event) => {
langList.style.display = langList.style.display == "block" ? "none" : "block";
});
let selectedLang = document.getElementById("en");
if (selectedLang) {
selectedLang.parentNode.classList.add("theme-selected");
}

// The path to the root, taking the current
// language into account.
let full_path_to_root = "../";
// The page path (mdbook only gives us
// access to the path to the Markdown file).
let path = "404.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
lang.href = `${full_path_to_root}${lang.id}/${path}`;
}

// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
langList.querySelectorAll("li").forEach(function(li) {
li.addEventListener("click", function(event) {
event.preventDefault();

let link = this.querySelector("a");
if (link && window.location.href !== link.href) {
window.location.href = link.href;
}
});
});
</script>

<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
Expand Down Expand Up @@ -217,4 +269,4 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"

</div>
</body>
</html>
</html>
54 changes: 53 additions & 1 deletion 2.x/docs/en/Setup.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
<!-- Custom theme stylesheets -->
<link rel="stylesheet" href="src/reference/custom-202410.css">
<link rel="stylesheet" href="src/reference/mdbook-admonish.css">
<link rel="stylesheet" href="theme/language-picker.css">

</head>
<body class="sidebar-visible no-js">
Expand Down Expand Up @@ -146,6 +147,57 @@
<h1 class="menu-title">The Book of sbt</h1>

<div class="right-buttons">
<button id="language-toggle" class="icon-button" type="button"
title="Change language" aria-label="Change language"
aria-haspopup="true" aria-expanded="false"
aria-controls="language-list">
<i class="fa fa-globe"></i>
</button>
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
<li role="none"><button role="menuitem" class="theme">
<a id="en">English</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="zh-cn">Chinese Simplified (中文)</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="ja">Japanese (日本語)</a>
</button></li>
</ul>
<script>
let langToggle = document.getElementById("language-toggle");
let langList = document.getElementById("language-list");
langToggle.addEventListener("click", (event) => {
langList.style.display = langList.style.display == "block" ? "none" : "block";
});
let selectedLang = document.getElementById("en");
if (selectedLang) {
selectedLang.parentNode.classList.add("theme-selected");
}

// The path to the root, taking the current
// language into account.
let full_path_to_root = "../";
// The page path (mdbook only gives us
// access to the path to the Markdown file).
let path = "Setup.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
lang.href = `${full_path_to_root}${lang.id}/${path}`;
}

// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
langList.querySelectorAll("li").forEach(function(li) {
li.addEventListener("click", function(event) {
event.preventDefault();

let link = this.querySelector("a");
if (link && window.location.href !== link.href) {
window.location.href = link.href;
}
});
});
</script>

<a href="print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
Expand Down Expand Up @@ -254,4 +306,4 @@ <h2 id="verify-the-sbt-runner"><a class="header" href="#verify-the-sbt-runner">V

</div>
</body>
</html>
</html>
54 changes: 53 additions & 1 deletion 2.x/docs/en/appendix/glossary.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
<!-- Custom theme stylesheets -->
<link rel="stylesheet" href="../src/reference/custom-202410.css">
<link rel="stylesheet" href="../src/reference/mdbook-admonish.css">
<link rel="stylesheet" href="../theme/language-picker.css">

</head>
<body class="sidebar-visible no-js">
Expand Down Expand Up @@ -146,6 +147,57 @@
<h1 class="menu-title">The Book of sbt</h1>

<div class="right-buttons">
<button id="language-toggle" class="icon-button" type="button"
title="Change language" aria-label="Change language"
aria-haspopup="true" aria-expanded="false"
aria-controls="language-list">
<i class="fa fa-globe"></i>
</button>
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
<li role="none"><button role="menuitem" class="theme">
<a id="en">English</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="zh-cn">Chinese Simplified (中文)</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="ja">Japanese (日本語)</a>
</button></li>
</ul>
<script>
let langToggle = document.getElementById("language-toggle");
let langList = document.getElementById("language-list");
langToggle.addEventListener("click", (event) => {
langList.style.display = langList.style.display == "block" ? "none" : "block";
});
let selectedLang = document.getElementById("en");
if (selectedLang) {
selectedLang.parentNode.classList.add("theme-selected");
}

// The path to the root, taking the current
// language into account.
let full_path_to_root = "../../";
// The page path (mdbook only gives us
// access to the path to the Markdown file).
let path = "appendix/glossary.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
lang.href = `${full_path_to_root}${lang.id}/${path}`;
}

// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
langList.querySelectorAll("li").forEach(function(li) {
li.addEventListener("click", function(event) {
event.preventDefault();

let link = this.querySelector("a");
if (link && window.location.href !== link.href) {
window.location.href = link.href;
}
});
});
</script>

<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
Expand Down Expand Up @@ -406,4 +458,4 @@ <h3 id="value"><a class="header" href="#value"><code>value</code></a></h3>

</div>
</body>
</html>
</html>
54 changes: 53 additions & 1 deletion 2.x/docs/en/appendix/setup-notes.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
<!-- Custom theme stylesheets -->
<link rel="stylesheet" href="../src/reference/custom-202410.css">
<link rel="stylesheet" href="../src/reference/mdbook-admonish.css">
<link rel="stylesheet" href="../theme/language-picker.css">

</head>
<body class="sidebar-visible no-js">
Expand Down Expand Up @@ -146,6 +147,57 @@
<h1 class="menu-title">The Book of sbt</h1>

<div class="right-buttons">
<button id="language-toggle" class="icon-button" type="button"
title="Change language" aria-label="Change language"
aria-haspopup="true" aria-expanded="false"
aria-controls="language-list">
<i class="fa fa-globe"></i>
</button>
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
<li role="none"><button role="menuitem" class="theme">
<a id="en">English</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="zh-cn">Chinese Simplified (中文)</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="ja">Japanese (日本語)</a>
</button></li>
</ul>
<script>
let langToggle = document.getElementById("language-toggle");
let langList = document.getElementById("language-list");
langToggle.addEventListener("click", (event) => {
langList.style.display = langList.style.display == "block" ? "none" : "block";
});
let selectedLang = document.getElementById("en");
if (selectedLang) {
selectedLang.parentNode.classList.add("theme-selected");
}

// The path to the root, taking the current
// language into account.
let full_path_to_root = "../../";
// The page path (mdbook only gives us
// access to the path to the Markdown file).
let path = "appendix/setup-notes.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
lang.href = `${full_path_to_root}${lang.id}/${path}`;
}

// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
langList.querySelectorAll("li").forEach(function(li) {
li.addEventListener("click", function(event) {
event.preventDefault();

let link = this.querySelector("a");
if (link && window.location.href !== link.href) {
window.location.href = link.href;
}
});
});
</script>

<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
Expand Down Expand Up @@ -288,4 +340,4 @@ <h4 id="red-hat-enterprise-linux-and-other-rpm-based-distributions"><a class="he

</div>
</body>
</html>
</html>
54 changes: 53 additions & 1 deletion 2.x/docs/en/changes/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,7 @@
<!-- Custom theme stylesheets -->
<link rel="stylesheet" href="../src/reference/custom-202410.css">
<link rel="stylesheet" href="../src/reference/mdbook-admonish.css">
<link rel="stylesheet" href="../theme/language-picker.css">

</head>
<body class="sidebar-visible no-js">
Expand Down Expand Up @@ -146,6 +147,57 @@
<h1 class="menu-title">The Book of sbt</h1>

<div class="right-buttons">
<button id="language-toggle" class="icon-button" type="button"
title="Change language" aria-label="Change language"
aria-haspopup="true" aria-expanded="false"
aria-controls="language-list">
<i class="fa fa-globe"></i>
</button>
<ul id="language-list" class="theme-popup" aria-label="Languages" role="menu">
<li role="none"><button role="menuitem" class="theme">
<a id="en">English</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="zh-cn">Chinese Simplified (中文)</a>
</button></li>
<li role="none"><button role="menuitem" class="theme">
<a id="ja">Japanese (日本語)</a>
</button></li>
</ul>
<script>
let langToggle = document.getElementById("language-toggle");
let langList = document.getElementById("language-list");
langToggle.addEventListener("click", (event) => {
langList.style.display = langList.style.display == "block" ? "none" : "block";
});
let selectedLang = document.getElementById("en");
if (selectedLang) {
selectedLang.parentNode.classList.add("theme-selected");
}

// The path to the root, taking the current
// language into account.
let full_path_to_root = "../../";
// The page path (mdbook only gives us
// access to the path to the Markdown file).
let path = "changes/index.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
lang.href = `${full_path_to_root}${lang.id}/${path}`;
}

// When the user clicks a list item, the page jump is performed, just like clicking the internal <a> tag.
langList.querySelectorAll("li").forEach(function(li) {
li.addEventListener("click", function(event) {
event.preventDefault();

let link = this.querySelector("a");
if (link && window.location.href !== link.href) {
window.location.href = link.href;
}
});
});
</script>

<a href="../print.html" title="Print this book" aria-label="Print this book">
<i id="print-button" class="fa fa-print"></i>
</a>
Expand Down Expand Up @@ -227,4 +279,4 @@ <h1 id="changes"><a class="header" href="#changes">Changes</a></h1>

</div>
</body>
</html>
</html>
Loading

0 comments on commit e671fab

Please sign in to comment.