Skip to content

Commit 6697562

Browse files
eed3si9need3si9n
committed
updated site
1 parent 4450001 commit 6697562

File tree

102 files changed

+306
-102
lines changed

Some content is hidden

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

102 files changed

+306
-102
lines changed

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,9 @@
4040
<!-- Provide site root to javascript -->
4141
<script>
4242
var path_to_root = "";
43-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
43+
// This forces users into dark theme
44+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
45+
var default_theme = "light";
4446
</script>
4547

4648
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/changes/migrating-from-sbt-1.x.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/changes/sbt-2.0-change-summary.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/concepts/caching.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/concepts/command.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/concepts/cross-building.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/IDE.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/basic-tasks.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/build-definition-basics.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/build-layout.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/library-dependency-basics.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/multi-project-basics.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/sbt-components.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/sbt-new.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/guide/why-sbt-exists.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,9 @@
4040
<!-- Provide site root to javascript -->
4141
<script>
4242
var path_to_root = "";
43-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
43+
// This forces users into dark theme
44+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
45+
var default_theme = "light";
4446
</script>
4547

4648
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/recipes/hello-world.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/recipes/import-to-intellij.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/recipes/use-neovim.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/recipes/use-sbt-as-metals-build-server.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/reference/cross-building-setup.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/reference/remote-cache-setup.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/reference/sbt-update.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/reference/sbt.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "../";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

Diff for: ‎2.x/docs/en/sbt-by-example.html

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,9 @@
4040
<!-- Provide site root to javascript -->
4141
<script>
4242
var path_to_root = "";
43-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
43+
// This forces users into dark theme
44+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
45+
var default_theme = "light";
4446
</script>
4547

4648
<!-- Work around some values being stored in localStorage wrapped in quotes -->

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

+3-1
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,9 @@
3939
<!-- Provide site root to javascript -->
4040
<script>
4141
var path_to_root = "";
42-
var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
42+
// This forces users into dark theme
43+
// var default_theme = window.matchMedia("(prefers-color-scheme: dark)").matches ? "navy" : "light";
44+
var default_theme = "light";
4345
</script>
4446

4547
<!-- Work around some values being stored in localStorage wrapped in quotes -->

0 commit comments

Comments
 (0)