Java Script + Font Change

docs/mkdocs-customizations/overrides/partials/copyright.html

@@ -41,31 +41,24 @@
 </div>
 
 <script>
-    (function() {
-      // 1. Find the element
-      var dateEl = document.getElementById('build-date');
-
-      if (dateEl) {
-        // 2. Create a Date object from the UTC string
-        // The format "YYYY-MM-DD HH:MM:SS UTC" parses correctly in most browsers
-        var utcDate = new Date(dateEl.innerText.trim());
-
-        // 3. check if date is valid
-        if (!isNaN(utcDate.getTime())) {
-          // 4. Format it to the user's locale (e.g., en-US, de-DE)
-          // options: "November 20, 2025 at 10:37 AM"
-          var localDate = new Intl.DateTimeFormat(undefined, {
-            year: 'numeric',
-            month: 'long',
-            day: 'numeric',
-            hour: '2-digit',
-            minute: '2-digit',
-            timeZoneName: 'short' 
-          }).format(utcDate);
-
-          // 5. Update the HTML
-          dateEl.innerText = localDate;
-        }
+  (function() {
+    var dateEl = document.getElementById('build-date');
+    if (dateEl) {
+      var utcDate = new Date(dateEl.innerText.trim());
+      if (!isNaN(utcDate.getTime())) {
+
+        // Configuration for "Nov 20, 12:30 GMT+1" style
+        var localDate = new Intl.DateTimeFormat(undefined, {
+          month: 'short',       // "Nov"
+          day: 'numeric',       // "20"
+          hour: '2-digit',      // "12"
+          minute: '2-digit',    // "30"
+          hour12: false,        // Use 24-hour clock (False = 13:00, True = 1:00 PM)
+          timeZoneName: 'short' // "GMT+1", "CET", "EST" (Depends on browser)
+        }).format(utcDate);
+
+        dateEl.innerText = localDate;
       }
-    })();
-  </script>
+    }
+  })();
+</script>

docs/mkdocs.yml

@@ -45,8 +45,8 @@ theme:
         icon: material/lightbulb-on
         name: Switch to light mode
   font:
-    text: Roboto
-    code: Ubuntu Mono
+    text: "IBM Plex Sans"
+    code: "IBM Plex Mono"
   icon:
     repo: fontawesome/brands/github
   logo: images/logo.png