From c6a9261b1d8a9472c51a947e6bdfd492c9a0fa37 Mon Sep 17 00:00:00 2001
From: Dimitriye Danilovic <dimitriye@danilovic.net>
Date: Sun, 11 Oct 2015 01:46:38 -0700
Subject: [PATCH] Add rich monospaced font option

---
 public/res/html/bodyEditor.html | 6 ++++++
 public/res/styles/main.less     | 4 ++++
 2 files changed, 10 insertions(+)

diff --git a/public/res/html/bodyEditor.html b/public/res/html/bodyEditor.html
index 10002033..158dd254 100644
--- a/public/res/html/bodyEditor.html
+++ b/public/res/html/bodyEditor.html
@@ -1129,6 +1129,12 @@
 											Rich
 										</label>
 									</div>
+									<div class="radio">
+										<label> <input type="radio"
+											name="radio-settings-editor-font-class" value="font-rich-monospaced">
+											Rich Monospaced
+										</label>
+									</div>
 									<div class="radio">
 										<label> <input type="radio"
 											name="radio-settings-editor-font-class" value="font-monospaced">
diff --git a/public/res/styles/main.less b/public/res/styles/main.less
index 01386951..2dd17c6d 100644
--- a/public/res/styles/main.less
+++ b/public/res/styles/main.less
@@ -1190,6 +1190,10 @@ a {
 		color: fade(@tertiary-color, 25%);
 	}
 
+	&.font-rich-monospaced * {
+		font-family: @font-family-monospace !important;
+	}
+
 	&.font-monospaced * {
 		font-family: @font-family-monospace !important;
 		line-height: @editor-line-weight !important;