From da43f20235e0b0723bef32f5806ed11d1d2ae5cd Mon Sep 17 00:00:00 2001
From: Wen Kokke <pepijn.kokke@gmail.com>
Date: Wed, 23 May 2018 22:52:27 +0100
Subject: [PATCH] Set default Agda font to Menlo

---
 _sass/Agda.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_sass/Agda.scss b/_sass/Agda.scss
index 20f8d936..469e5885 100644
--- a/_sass/Agda.scss
+++ b/_sass/Agda.scss
@@ -4,7 +4,7 @@
     background: #e8f2fb;
     border: 1px solid #c9e1f6;
     border-radius: 3px;
-    font-family: Source Code Pro, Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
+    font-family: Menlo, Source Code Pro, Consolas, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
     font-size: .85em; }
 
 .Spec {