From 19ced7f448a9ffe5359d7deb0597feda17813a58 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Tue, 26 Jun 2018 16:43:50 +0100
Subject: [PATCH] Reordered fonts to have Monaco first.

---
 _sass/agda.scss      | 2 +-
 src/plta/Fonts.lagda | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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|
 ↦↦↦↦|
 ↠↠↠↠|
 ͰͰͰͰ|
+⊦⊦⊦⊦|
 ∈∈∈∈|
 ∋∋∋∋|
 ----|