diff --git a/_web_server/server/index.html b/_web_server/server/index.html index 127e879..59a38e2 100644 --- a/_web_server/server/index.html +++ b/_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)) { diff --git a/_web_server/server/playground-server.scm b/_web_server/server/playground-server.scm index 9281116..a4700d7 100755 --- a/_web_server/server/playground-server.scm +++ b/_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)