restore files

oasis-tcs · Aug 28, 2024 · ea37705 · ea37705
1 parent a6f4c84
commit ea37705
Show file tree

Hide file tree

Showing 17 changed files with 426 additions and 0 deletions.
diff --git a/docs/odata-csdl-json/odata-csdl-json.html b/docs/odata-csdl-json/odata-csdl-json.html
@@ -97,6 +97,44 @@
       }
     }};
   </script>
+  <select id="darkmode">
+    <option value="off">Light</option>
+    <option value="on">Dark</option>
+    <option value="auto">Auto</option>
+  </select>
+  <script type="text/javascript">
+    document.addEventListener("DOMContentLoaded", function () {
+      function darkmode_auto() {
+        if (darkmode_switch.value === "auto") {
+          if (darkmode_query.matches) document.body.classList.add("darkmode");
+          else document.body.classList.remove("darkmode");
+        }
+      }
+
+      function darkmode_manual() {
+        localStorage.setItem("odata-specs/darkmode", darkmode_switch.value);
+        switch (darkmode_switch.value) {
+          case "off":
+            document.body.classList.remove("darkmode");
+            break;
+          case "on":
+            document.body.classList.add("darkmode");
+            break;
+          case "auto":
+            darkmode_auto();
+            break;
+        }
+      }
+
+      const darkmode_query = matchMedia("(prefers-color-scheme: dark)");
+      darkmode_query.addEventListener("change", darkmode_auto);
+      const darkmode_switch = document.getElementById("darkmode");
+      darkmode_switch.value =
+        localStorage.getItem("odata-specs/darkmode") || "off";
+      darkmode_switch.addEventListener("change", darkmode_manual);
+      darkmode_manual();
+    });
+  </script>
   <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
   <script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
 </head>

diff --git a/docs/odata-csdl-json/styles/odata.css b/docs/odata-csdl-json/styles/odata.css
@@ -208,6 +208,17 @@ hr:first-of-type {
 }
 
 @media screen {
+  #darkmode {
+    position: fixed;
+    top: 0;
+    right: 0;
+  }
+
+  body.darkmode {
+    background-color: black;
+    color: white;
+  }
+
   details:not([open]) > summary {
     list-style: disclosure-closed;
   }
@@ -218,6 +229,10 @@ hr:first-of-type {
 }
 
 @media print {
+  #darkmode {
+    display: none;
+  }
+
   details > summary {
     list-style: none;
   }

diff --git a/docs/odata-csdl-xml/odata-csdl-xml.html b/docs/odata-csdl-xml/odata-csdl-xml.html
@@ -97,6 +97,44 @@
       }
     }};
   </script>
+  <select id="darkmode">
+    <option value="off">Light</option>
+    <option value="on">Dark</option>
+    <option value="auto">Auto</option>
+  </select>
+  <script type="text/javascript">
+    document.addEventListener("DOMContentLoaded", function () {
+      function darkmode_auto() {
+        if (darkmode_switch.value === "auto") {
+          if (darkmode_query.matches) document.body.classList.add("darkmode");
+          else document.body.classList.remove("darkmode");
+        }
+      }
+
+      function darkmode_manual() {
+        localStorage.setItem("odata-specs/darkmode", darkmode_switch.value);
+        switch (darkmode_switch.value) {
+          case "off":
+            document.body.classList.remove("darkmode");
+            break;
+          case "on":
+            document.body.classList.add("darkmode");
+            break;
+          case "auto":
+            darkmode_auto();
+            break;
+        }
+      }
+
+      const darkmode_query = matchMedia("(prefers-color-scheme: dark)");
+      darkmode_query.addEventListener("change", darkmode_auto);
+      const darkmode_switch = document.getElementById("darkmode");
+      darkmode_switch.value =
+        localStorage.getItem("odata-specs/darkmode") || "off";
+      darkmode_switch.addEventListener("change", darkmode_manual);
+      darkmode_manual();
+    });
+  </script>
   <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
   <script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
 </head>

diff --git a/docs/odata-csdl-xml/styles/odata.css b/docs/odata-csdl-xml/styles/odata.css
@@ -208,6 +208,17 @@ hr:first-of-type {
 }
 
 @media screen {
+  #darkmode {
+    position: fixed;
+    top: 0;
+    right: 0;
+  }
+
+  body.darkmode {
+    background-color: black;
+    color: white;
+  }
+
   details:not([open]) > summary {
     list-style: disclosure-closed;
   }
@@ -218,6 +229,10 @@ hr:first-of-type {
 }
 
 @media print {
+  #darkmode {
+    display: none;
+  }
+
   details > summary {
     list-style: none;
   }

diff --git a/docs/odata-data-aggregation-ext/odata-data-aggregation-ext.html b/docs/odata-data-aggregation-ext/odata-data-aggregation-ext.html
@@ -97,6 +97,44 @@
       }
     }};
   </script>
+  <select id="darkmode">
+    <option value="off">Light</option>
+    <option value="on">Dark</option>
+    <option value="auto">Auto</option>
+  </select>
+  <script type="text/javascript">
+    document.addEventListener("DOMContentLoaded", function () {
+      function darkmode_auto() {
+        if (darkmode_switch.value === "auto") {
+          if (darkmode_query.matches) document.body.classList.add("darkmode");
+          else document.body.classList.remove("darkmode");
+        }
+      }
+
+      function darkmode_manual() {
+        localStorage.setItem("odata-specs/darkmode", darkmode_switch.value);
+        switch (darkmode_switch.value) {
+          case "off":
+            document.body.classList.remove("darkmode");
+            break;
+          case "on":
+            document.body.classList.add("darkmode");
+            break;
+          case "auto":
+            darkmode_auto();
+            break;
+        }
+      }
+
+      const darkmode_query = matchMedia("(prefers-color-scheme: dark)");
+      darkmode_query.addEventListener("change", darkmode_auto);
+      const darkmode_switch = document.getElementById("darkmode");
+      darkmode_switch.value =
+        localStorage.getItem("odata-specs/darkmode") || "off";
+      darkmode_switch.addEventListener("change", darkmode_manual);
+      darkmode_manual();
+    });
+  </script>
   <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
   <script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
 </head>

diff --git a/docs/odata-data-aggregation-ext/styles/odata.css b/docs/odata-data-aggregation-ext/styles/odata.css
@@ -208,6 +208,17 @@ hr:first-of-type {
 }
 
 @media screen {
+  #darkmode {
+    position: fixed;
+    top: 0;
+    right: 0;
+  }
+
+  body.darkmode {
+    background-color: black;
+    color: white;
+  }
+
   details:not([open]) > summary {
     list-style: disclosure-closed;
   }
@@ -218,6 +229,10 @@ hr:first-of-type {
 }
 
 @media print {
+  #darkmode {
+    display: none;
+  }
+
   details > summary {
     list-style: none;
   }

diff --git a/docs/odata-json-format/odata-json-format.html b/docs/odata-json-format/odata-json-format.html
@@ -97,6 +97,44 @@
       }
     }};
   </script>
+  <select id="darkmode">
+    <option value="off">Light</option>
+    <option value="on">Dark</option>
+    <option value="auto">Auto</option>
+  </select>
+  <script type="text/javascript">
+    document.addEventListener("DOMContentLoaded", function () {
+      function darkmode_auto() {
+        if (darkmode_switch.value === "auto") {
+          if (darkmode_query.matches) document.body.classList.add("darkmode");
+          else document.body.classList.remove("darkmode");
+        }
+      }
+
+      function darkmode_manual() {
+        localStorage.setItem("odata-specs/darkmode", darkmode_switch.value);
+        switch (darkmode_switch.value) {
+          case "off":
+            document.body.classList.remove("darkmode");
+            break;
+          case "on":
+            document.body.classList.add("darkmode");
+            break;
+          case "auto":
+            darkmode_auto();
+            break;
+        }
+      }
+
+      const darkmode_query = matchMedia("(prefers-color-scheme: dark)");
+      darkmode_query.addEventListener("change", darkmode_auto);
+      const darkmode_switch = document.getElementById("darkmode");
+      darkmode_switch.value =
+        localStorage.getItem("odata-specs/darkmode") || "off";
+      darkmode_switch.addEventListener("change", darkmode_manual);
+      darkmode_manual();
+    });
+  </script>
   <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
   <script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
 </head>

diff --git a/docs/odata-json-format/styles/odata.css b/docs/odata-json-format/styles/odata.css
@@ -208,6 +208,17 @@ hr:first-of-type {
 }
 
 @media screen {
+  #darkmode {
+    position: fixed;
+    top: 0;
+    right: 0;
+  }
+
+  body.darkmode {
+    background-color: black;
+    color: white;
+  }
+
   details:not([open]) > summary {
     list-style: disclosure-closed;
   }
@@ -218,6 +229,10 @@ hr:first-of-type {
 }
 
 @media print {
+  #darkmode {
+    display: none;
+  }
+
   details > summary {
     list-style: none;
   }

diff --git a/docs/odata-protocol/odata-protocol.html b/docs/odata-protocol/odata-protocol.html
@@ -97,6 +97,44 @@
       }
     }};
   </script>
+  <select id="darkmode">
+    <option value="off">Light</option>
+    <option value="on">Dark</option>
+    <option value="auto">Auto</option>
+  </select>
+  <script type="text/javascript">
+    document.addEventListener("DOMContentLoaded", function () {
+      function darkmode_auto() {
+        if (darkmode_switch.value === "auto") {
+          if (darkmode_query.matches) document.body.classList.add("darkmode");
+          else document.body.classList.remove("darkmode");
+        }
+      }
+
+      function darkmode_manual() {
+        localStorage.setItem("odata-specs/darkmode", darkmode_switch.value);
+        switch (darkmode_switch.value) {
+          case "off":
+            document.body.classList.remove("darkmode");
+            break;
+          case "on":
+            document.body.classList.add("darkmode");
+            break;
+          case "auto":
+            darkmode_auto();
+            break;
+        }
+      }
+
+      const darkmode_query = matchMedia("(prefers-color-scheme: dark)");
+      darkmode_query.addEventListener("change", darkmode_auto);
+      const darkmode_switch = document.getElementById("darkmode");
+      darkmode_switch.value =
+        localStorage.getItem("odata-specs/darkmode") || "off";
+      darkmode_switch.addEventListener("change", darkmode_manual);
+      darkmode_manual();
+    });
+  </script>
   <script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
   <script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
 </head>

diff --git a/docs/odata-protocol/styles/odata.css b/docs/odata-protocol/styles/odata.css
@@ -208,6 +208,17 @@ hr:first-of-type {
 }
 
 @media screen {
+  #darkmode {
+    position: fixed;
+    top: 0;
+    right: 0;
+  }
+
+  body.darkmode {
+    background-color: black;
+    color: white;
+  }
+
   details:not([open]) > summary {
     list-style: disclosure-closed;
   }
@@ -218,6 +229,10 @@ hr:first-of-type {
 }
 
 @media print {
+  #darkmode {
+    display: none;
+  }
+
   details > summary {
     list-style: none;
   }