diff --git a/web/main.css b/web/main.css index 2b31898..c5d3f00 100644 --- a/web/main.css +++ b/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; } diff --git a/web/main.js b/web/main.js index e3ac9f8..df60eda 100644 --- a/web/main.js +++ b/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) {