Skip to content

Commit 5bb2a14

Browse files
docs(changed theme):
Signed-off-by: Vaishnav Sabari Girish <vaishnav.sabari.girish@gmail.com>
1 parent 6d4f03f commit 5bb2a14

22 files changed

+82
-83
lines changed

book.toml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,7 @@ build-dir = "docs"
88

99
[output.html]
1010
git-repository-url = "https://github.com/NextStd"
11-
default-theme = "dark"
12-
preferred-dark-theme = "dark"
11+
default-theme = "navy"
1312
additional-css = ["./mdbook-admonish.css"]
1413

1514
[preprocessor.admonish]

docs/404.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -36,8 +36,8 @@
3636
<!-- Provide site root and default themes to javascript -->
3737
<script>
3838
const path_to_root = "";
39-
const default_light_theme = "dark";
40-
const default_dark_theme = "dark";
39+
const default_light_theme = "navy";
40+
const default_dark_theme = "navy";
4141
</script>
4242
<!-- Start loading toc.js asap -->
4343
<script src="toc.js"></script>
@@ -78,7 +78,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7878
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7979
if (theme === null || theme === undefined) { theme = default_theme; }
8080
const html = document.documentElement;
81-
html.classList.remove('dark')
81+
html.classList.remove('navy')
8282
html.classList.add(theme);
8383
html.classList.add("js");
8484
</script>

docs/api/ns_print.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/api/types/float.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/api/types/integer.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/api/types/string.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/concepts/architecture.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/concepts/generic_macro.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/concepts/rust_backend.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "../";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="../toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

docs/contributing.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
<!DOCTYPE HTML>
2-
<html lang="en" class="dark sidebar-visible" dir="ltr">
2+
<html lang="en" class="navy sidebar-visible" dir="ltr">
33
<head>
44
<!-- Book generated using mdBook -->
55
<meta charset="UTF-8">
@@ -35,8 +35,8 @@
3535
<!-- Provide site root and default themes to javascript -->
3636
<script>
3737
const path_to_root = "";
38-
const default_light_theme = "dark";
39-
const default_dark_theme = "dark";
38+
const default_light_theme = "navy";
39+
const default_dark_theme = "navy";
4040
</script>
4141
<!-- Start loading toc.js asap -->
4242
<script src="toc.js"></script>
@@ -77,7 +77,7 @@ <h2 class="mdbook-help-title">Keyboard shortcuts</h2>
7777
try { theme = localStorage.getItem('mdbook-theme'); } catch(e) { }
7878
if (theme === null || theme === undefined) { theme = default_theme; }
7979
const html = document.documentElement;
80-
html.classList.remove('dark')
80+
html.classList.remove('navy')
8181
html.classList.add(theme);
8282
html.classList.add("js");
8383
</script>

0 commit comments

Comments
 (0)