Use a monospaced font for the state-space and coverage

statistics on the model-checking result page for better readability. [Feature]
tlaplus · Mar 4, 2022 · 35188cc · 35188cc
1 parent 4278a29
commit 35188cc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/resources/check-result-view.css b/resources/check-result-view.css
@@ -95,10 +95,12 @@ th {
 }
 
 .states-stat {
+    font-family: sans-serif, monospace;
     min-width: 23em;
 }
 
 .coverage-stat {
+    font-family: sans-serif, monospace;
     min-width: 15em;
 }