reformat

web/main.css

@@ -19,9 +19,6 @@ body {
     margin-right: 10%;
 }
 
-th {
-    cursor: pointer;
-}
 
 td,
 th {
@@ -29,6 +26,14 @@ th {
     padding: 0.5em;
 }
 
+th {
+    cursor: pointer;
+}
+
+td {
+    font-family: monospace;
+}
+
 table {
     border-spacing: 0;
 }

web/main.js

@@ -56,8 +56,9 @@ window.onload = () => {
         console.log(table);
     };
 
+    let fmt = Intl.DateTimeFormat('de-DE', { dateStyle: 'medium', timeStyle: 'medium' });
 
-    let format_date = date => date.toLocaleDateString("de-DE") + ' ' + date.toLocaleTimeString("de-DE");
+    let format_date = date => fmt.format(date).replace(', ', ' ');
 
     let print_table = () => {
         while(table_elem.children.length > 1) {