diff --git a/_sass/agda.scss b/_sass/agda.scss
index 560a0611..42ea1be3 100644
--- a/_sass/agda.scss
+++ b/_sass/agda.scss
@@ -1,7 +1,7 @@
 // Define variables for code formatting
 
 @mixin code-font {
-    font-family: 'Source Code Pro', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Menlo', 'Consolas', 'Monaco', 'Ludica Console', 'Liberation Mono', 'Courier New', monospace, serif;
+    font-family: 'Monaco', 'Source Code Pro', 'Courier New', 'Menlo', 'Ludica Console', 'Liberation Mono', monospace, serif;
     font-size: .85em;
 }
 @mixin code-container {
diff --git a/src/plta/Fonts.lagda b/src/plta/Fonts.lagda
index 79832229..221ffa50 100644
--- a/src/plta/Fonts.lagda
+++ b/src/plta/Fonts.lagda
@@ -32,7 +32,6 @@ ABCDEFGHIJKLMNOPQRSTUVWXYZ|
 ⟨⟨⟨⟩⟩⟩|
 →→→⇒⇒⇒|
 ←←←⇐⇐⇐|
-------|
 
 ----|
 ⌊⌋⌈⌉|
@@ -40,6 +39,7 @@ ABCDEFGHIJKLMNOPQRSTUVWXYZ|
 ↦↦↦↦|
 ↠↠↠↠|
 ͰͰͰͰ|
+⊦⊦⊦⊦|
 ∈∈∈∈|
 ∋∋∋∋|
 ----|