fixed fonts

_sass/agda.scss

@@ -1,7 +1,7 @@
 // Define variables for code formatting
 
 @mixin code-font {
-    font-family: 'Source Code Pro', 'Courier New', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Menlo', 'Consolas', 'Monaco', 'Ludica Console', 'Liberation Mono', 'Courier New', monospace, serif;
+    font-family: 'DejaVu Sans Mono', 'Monaco', 'Source Code Pro', 'Courier New', 'Menlo', 'Ludica Console', 'Liberation Mono', monospace, serif;
     font-size: .85em;
 }
 @mixin code-container {

src/plta/Fonts.lagda

@@ -46,11 +46,14 @@ Here are some characters that are not required to be monospaced.
 
 \begin{code}
 {-
-------------
-⟶⟶⟶⟶
-⟹⟹⟹⟹
-------------
-𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛
-𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘
+------------|
+⟶⟶⟶⟶|
+⟹⟹⟹⟹|
+------------|
+----------|
+𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛|
+𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘|
+----------|
+
 -}
 \end{code}