Fit <pre> to <textarea>

diff --git a/adminer/static/default.css b/adminer/static/default.css
index d8bd140642c075c894c8903e73b01f0cc283d5e7..2b531a699bfd067bc77bc1c39f370e904024bee2 100644 (file)
--- a/adminer/static/default.css
+++ b/adminer/static/default.css
@@ -21,6 +21,7 @@ td img { max-width: 200px; max-height: 200px; }
 code { background: #eee; }
 tbody tr:hover td, tbody tr:hover th { background: #eee; }
 pre { margin: 1em 0 0; }
+pre, textarea { font: 100%/1.25 monospace; }
 input[type=image] { vertical-align: middle; }
 input.default { box-shadow: 1px 1px 1px #777; }
 input.required { box-shadow: 1px 1px 1px red; }

diff --git a/externals/jush b/externals/jush
index 12e6421d5a02ba8c3e2db2b4080187053b9a4655..a68f53b5f66a3bb4dd512f7f4b79a99ecc8fba9a 160000 (submodule)
--- a/externals/jush
+++ b/externals/jush
@@ -1 +1 @@
-Subproject commit 12e6421d5a02ba8c3e2db2b4080187053b9a4655
+Subproject commit a68f53b5f66a3bb4dd512f7f4b79a99ecc8fba9a