Visual improvements

_web_server/server/index.html

@@ -15,7 +15,13 @@
 
       body {
           padding: 3px;
-          font-size: 14px;
+          font-family: 'JetBrains Mono', monospace;
+          font-size: 10pt;
+      }
+
+      pre {
+          font-family: 'JetBrains Mono', monospace;
+          font-size: 10pt;
       }
 
       #buttons {
@@ -43,11 +49,6 @@
 
       button span.text { padding: 4px; }
 
-      #text {
-          font-family: 'JetBrains Mono', monospace;
-          font-size: inherit;
-      }
-
       #editor {
           height: 75vh;
           width: 100%;
@@ -70,6 +71,12 @@
           shape-rendering: crispEdges;
       }
 
+      svg text {
+          font-family: 'JetBrains Mono', monospace;
+          font-size: 10pt;
+          fill: white;
+      }
+
       svg #wave-signals {
           stroke: #00fcff;
           stroke-width: 1;
@@ -77,20 +84,18 @@
 
       svg #wave-clock {
           stroke: #fffe9a;
+          font-size: 8pt;
           stroke-width: 1;
       }
 
+      svg #wave-signals text { font-size: 8pt; }
+      svg #wave-clock text { font-size: 8pt; }
+
       svg #wave-delim {
           stroke: #d0d0d0;
           stroke-width: 2;
       }
 
-      svg text {
-          font-family: 'JetBrains Mono', monospace;
-          font-size: 14px;
-          fill: white;
-      }
-
       svg #wave-background { fill: #1e2426; }
 
       @media (orientation: landscape) and (not (pointer: coarse)) {

_web_server/server/playground-server.scm

@@ -334,7 +334,7 @@
 ;;;
 (define* (vcd->svg vcd width #:key
                    (signal-height 15)
-                   (signal-text-position 13)
+                   (signal-text-position 12)
                    (margin 5)
                    (signal-spacing 5)
                    (legend-width 100)