more verbose;decoupled timer; better ui; dark mode

2022-02-27 23:40:33 +01:00
parent 3150e07ece
commit 826f7868e8
8 changed files with 236 additions and 117 deletions
--- a/static/css/mainStyle.css
+++ b/static/css/mainStyle.css
@@ -101,4 +101,10 @@ body {
 placeholder {
  border: red 2px dashed;
  background-color: yellow;
+}
+
+pre {
+  overflow: auto;
+  word-wrap: normal;
+  white-space: pre;
 }