From d82e4b79118cd409c7592254919927d86ed4e54b Mon Sep 17 00:00:00 2001
From: Greg Hendershott <greghendershott@gmail.com>
Date: Fri, 2 Nov 2012 11:36:21 -0400
Subject: [PATCH] Override .RktErr. Dimmer red. Use code font.

---
 gh.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gh.css b/gh.css
index d0d974d..10547e9 100644
--- a/gh.css
+++ b/gh.css
@@ -20,6 +20,12 @@
   color: #2626c0; /* NOT bright blue */
 }
 
+.RktErr {
+  color: #c02626; /* NOT bright red */
+  font-family: monospace;
+  font-size: 95%;
+}
+
 /* Serif: */
 .inheritedlbl {
   font-family: 'Fenix',serif;