Did you know ... Search Documentation:
GIT commit info
FIXED: ``<pre>`` monospace font. Now by default uses `Roboto+Mono`.
authorJan Wielemaker
Sun May 9 10:30:18 2021 +0200
committerJan Wielemaker
Sun May 9 10:30:18 2021 +0200
commit0606e9c2a6d63c615ae76660517b5a77c931d240
tree6be37244b66477eef3a3257ceb68a1d8e7bf8425
parentab1c776349ea7310e8b2dbd7716cdd645e438871
Diff style: patch stat
diff --git a/css/swipl.css b/css/swipl.css
index 90668c4..5af4e07 100644
--- a/css/swipl.css
+++ b/css/swipl.css
@@ -1,4 +1,5 @@
 @import url(https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,700|Fauna+One);
+@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@400&display=swap');
 
 body {
     margin: 0px;
@@ -7,6 +8,10 @@ body {
     font-family:  Source Sans Pro, sans;
 }
 
+pre {
+    font-family: 'Roboto Mono', monospace;
+}
+
 #outer-container {
     margin-left: auto;
     margin-right: auto;