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 {