_web_server/server/index.html

@@ -15,13 +15,7 @@
 
       body {
           padding: 3px;
-          font-family: 'JetBrains Mono', monospace;
-          font-size: 10pt;
-      }
-
-      pre {
-          font-family: 'JetBrains Mono', monospace;
-          font-size: 10pt;
+          font-size: 14px;
       }
 
       #buttons {
@@ -49,6 +43,11 @@
 
       button span.text { padding: 4px; }
 
+      #text {
+          font-family: 'JetBrains Mono', monospace;
+          font-size: inherit;
+      }
+
       #editor {
           height: 75vh;
           width: 100%;
@@ -71,12 +70,6 @@
           shape-rendering: crispEdges;
       }
 
-      svg text {
-          font-family: 'JetBrains Mono', monospace;
-          font-size: 10pt;
-          fill: white;
-      }
-
       svg #wave-signals {
           stroke: #00fcff;
           stroke-width: 1;
@@ -84,18 +77,20 @@
 
       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

@@ -304,10 +304,10 @@
                                         (- x1 x0 (* data-hw 2))
                                         (- y1 y0))
                            (format-inex "<text x=\"~a\" y=\"~a\">" 0 text-position)
-                           (string-upcase
                            (if (or (eq? sig-type 'real)
-                                    (<= sig-width 4))
+                                   (< sig-width 4))
                                value
+                               (string-upcase
                                 (vcd-binary->hex value #t)))
                            "</text></svg>"))))
 
@@ -334,7 +334,7 @@
 ;;;
 (define* (vcd->svg vcd width #:key
                    (signal-height 15)
-                   (signal-text-position 12)
+                   (signal-text-position 13)
                    (margin 5)
                    (signal-spacing 5)
                    (legend-width 100)
@@ -343,9 +343,10 @@
   (let ((tstart (apply min (vcd-timestamps vcd)))
         (tend (apply max (vcd-timestamps vcd)))
         (signals (sort
-                  (vcd-signals vcd)
+                  (remove
+                   (lambda (sig) (< (length (vcd-signal-scope sig)) 2))
+                   (vcd-signals vcd))
                   (lambda (a b)
-                    (and (not (equal? (vcd-signal-name b) "clock"))
                     (or
                      (and (equal? (vcd-signal-name a) "clock")
                           (not (equal? (vcd-signal-name b) "clock")))
@@ -354,7 +355,7 @@
                         (length (vcd-signal-scope b)))
 
                      (string-ci<? (vcd-signal-name a)
-                                       (vcd-signal-name b))))))))
+                                  (vcd-signal-name b)))))))
 
     (if (<= tend tstart)
         '()
@@ -910,8 +911,7 @@
 
                 (let ((canvas-width
                        (let ((v (assoc "width" query)))
-                         (or (and v (string->number (cadr v)))
-                             DEFAULT-CANVAS-WIDTH))))
+                         (and v (string->number (cadr v)) DEFAULT-CANVAS-WIDTH))))
                   (make-response
                    (make-log-html log vcd canvas-width)
                    #:content-type 'text/plain)))))