Skip to content

Commit

Permalink
deploy: 1e72dd7
Browse files Browse the repository at this point in the history
  • Loading branch information
@cjburkey01
cjburkey01 committed Aug 8, 2024
1 parent a0216cd commit 9010e82
Show file tree
Hide file tree
Showing 11 changed files with 572 additions and 0 deletions.
52 changes: 52 additions & 0 deletions 404.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -146,6 +146,58 @@
<h1 class="menu-title">ClaimChunk</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="de">Deutsch</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")) {
if (lang.id == "en") {
lang.href = `${full_path_to_root}${path}`;
} else {
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
52 changes: 52 additions & 0 deletions ForPlayers.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,6 +145,58 @@
<h1 class="menu-title">ClaimChunk</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="de">Deutsch</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 = "ForPlayers.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
if (lang.id == "en") {
lang.href = `${full_path_to_root}${path}`;
} else {
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
52 changes: 52 additions & 0 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,6 +145,58 @@
<h1 class="menu-title">ClaimChunk</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="de">Deutsch</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 = "index.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
if (lang.id == "en") {
lang.href = `${full_path_to_root}${path}`;
} else {
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
52 changes: 52 additions & 0 deletions print.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -146,6 +146,58 @@
<h1 class="menu-title">ClaimChunk</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="de">Deutsch</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 = "print.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
if (lang.id == "en") {
lang.href = `${full_path_to_root}${path}`;
} else {
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
52 changes: 52 additions & 0 deletions server/Configuration.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -145,6 +145,58 @@
<h1 class="menu-title">ClaimChunk</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="de">Deutsch</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 = "server/Configuration.md".replace(/\.md$/, ".html");
for (let lang of langList.querySelectorAll("a")) {
if (lang.id == "en") {
lang.href = `${full_path_to_root}${path}`;
} else {
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
Loading

0 comments on commit 9010e82

Please sign in to comment.