From 98b87a8d1d02efe96201315a5fe3f4e2bb4c8cfc Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 3 Sep 2014 15:44:52 -0700
Subject: Fixed font size for h3 in dingus.

---
 js/index.html | 1 -
 1 file changed, 1 deletion(-)

(limited to 'js')

diff --git a/js/index.html b/js/index.html
index 7ba5a86..994b147 100644
--- a/js/index.html
+++ b/js/index.html
@@ -63,7 +63,6 @@ $(document).ready(function() {
     div#preview { height: 400px; overflow: scroll; }
     div.row { margin-top: 1em; }
     blockquote { font-size: 100%; }
-    h3 { margin-top: 0; margin-bottom: 0; padding: 0; font-size: 100%; }
     footer { color: #555; text-align: center; margin: 1em; }
     pre { display: block; padding: 0.5em; color: #333; background: #f8f8ff }
     #warnings li { color: red; font-weight: bold; }
-- 
cgit v1.2.3