From 4d9ca6c6fbd173a4171ea61b2f611b9fad6941b8 Mon Sep 17 00:00:00 2001 From: Ryan Voots Date: Sun, 23 Apr 2017 16:07:21 -0400 Subject: [PATCH] Disable AnonymousPro, it sucks --- templates/editor.html | 2 +- templates/viewer.html | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/templates/editor.html b/templates/editor.html index 4e9497e..8566de9 100755 --- a/templates/editor.html +++ b/templates/editor.html @@ -209,7 +209,7 @@ //editor.setTheme("ace/theme/twilight"); editor.session.setMode("ace/mode/perl"); - editor.setOptions({fontFamily: ['AnonymousPro', 'monospace', 'mono']}); +// editor.setOptions({fontFamily: ['AnonymousPro', 'monospace', 'mono']}); function setup_columns() { diff --git a/templates/viewer.html b/templates/viewer.html index ed5a8f2..215d5f4 100755 --- a/templates/viewer.html +++ b/templates/viewer.html @@ -5,6 +5,8 @@ position: relative !important; width: 100%; font-variant-ligatures: none; + /*font-family: "AnonymousPro";*/ + font-size: 1em; } html, body, #content { @@ -94,7 +96,7 @@ use_editor(); $("#raw_editor").on("change", use_editor); editor.setReadOnly(true); - editor.setOptions({maxLines: Infinity, fontFamily: ['AnonymousPro', 'monospace', 'mono']}); + editor.setOptions({maxLines: Infinity}); /*function resizeAce() { var h = window.innerHeight; var ch = h - 400;