diff options
Diffstat (limited to 'dingus.html')
| -rw-r--r-- | dingus.html | 7 |
1 files 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; } |