From text to symbols

oasis-tcs · Aug 28, 2024 · fab9b6e · fab9b6e
1 parent 6660c65
commit fab9b6e
Show file tree

Hide file tree

Showing 8 changed files with 24 additions and 24 deletions.
diff --git a/docs/odata-csdl-json/odata-csdl-json.html b/docs/odata-csdl-json/odata-csdl-json.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/docs/odata-csdl-xml/odata-csdl-xml.html b/docs/odata-csdl-xml/odata-csdl-xml.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/docs/odata-data-aggregation-ext/odata-data-aggregation-ext.html b/docs/odata-data-aggregation-ext/odata-data-aggregation-ext.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/docs/odata-json-format/odata-json-format.html b/docs/odata-json-format/odata-json-format.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/docs/odata-protocol/odata-protocol.html b/docs/odata-protocol/odata-protocol.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/docs/odata-temporal-ext/odata-temporal-ext.html b/docs/odata-temporal-ext/odata-temporal-ext.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/docs/odata-url-conventions/odata-url-conventions.html b/docs/odata-url-conventions/odata-url-conventions.html
@@ -98,9 +98,9 @@
     }};
   </script>
   <select id="darkmode">
-    <option value="off">Light</option>
-    <option value="on">Dark</option>
-    <option value="auto">Auto</option>
+    <option value="off" title="Light mode">&#x263C;</option>
+    <option value="on" title="Dark mode">&#x263D;</option>
+    <option value="auto" title="Follow device mode">&#x25D1;</option>
   </select>
   <script type="text/javascript">
     document.addEventListener("DOMContentLoaded", function () {

diff --git a/scripts/darkmode.html b/scripts/darkmode.html
@@ -1,7 +1,7 @@
 <select id="darkmode">
-  <option value="off">Light</option>
-  <option value="on">Dark</option>
-  <option value="auto">Auto</option>
+  <option value="off" title="Light mode">&#x263C;</option>
+  <option value="on" title="Dark mode">&#x263D;</option>
+  <option value="auto" title="Follow device mode">&#x25D1;</option>
 </select>
 <script type="text/javascript">
   document.addEventListener("DOMContentLoaded", function () {