From 2de98358a54fe35f584e30181d86460bb842ebee Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 28 Oct 2014 11:54:10 -0700
Subject: More dingus refinements.

changes.  Lines starting
---
 dingus.html | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/dingus.html b/dingus.html
index 3c418bf..bb26460 100644
--- a/dingus.html
+++ b/dingus.html
@@ -94,10 +94,11 @@ $(document).ready(function() {
   <style type="text/css">
     h1.title { font-family: monospace; font-size: 120%; font-weight: bold;
           margin-top: 0.5em; margin-bottom: 0; }
-    textarea#text { min-height: 400px; width: 95%; font-family: monospace; font-size: 92%; }
+    textarea#text { height: 400px; width: 95%; font-family: monospace; font-size: 92%; }
     pre code#html { font-size: 92%; font-family: monospace; }
-    pre#htmlpre { min-height: 400px; resize: vertical; width: 95%; overflow: scroll; }
-    div#preview { min-height: 400px; resize: vertical; width: 95%; overflow: scroll; }
+    pre#htmlpre { height: 400px; overflow: scroll; resize: vertical; width: 95%; }
+    div#astpre  { height: 400px; overflow: scroll; resize: vertical; width: 95%; }
+    div#preview { height: 400px; overflow: scroll; resize: vertical; width: 95%; }
     div.row { margin-top: 1em; }
     blockquote { font-size: 100%; }
     footer { color: #555; text-align: center; margin: 1em; }
-- 
cgit v1.2.3