From 9efc792c9b7da442bb15241ef4a05c161d2f5f4a Mon Sep 17 00:00:00 2001 From: Nuno Sempere Date: Fri, 14 Apr 2023 22:31:21 +0000 Subject: [PATCH] tweak: make isso comment box larger --- pub/style/style.css | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/pub/style/style.css b/pub/style/style.css index 82251f3..8ad6ba3 100755 --- a/pub/style/style.css +++ b/pub/style/style.css @@ -196,7 +196,9 @@ pre { border: 2px solid; overflow-x: auto; } -pre, code { +pre, +code { + display: block; padding: 0.5em; } @@ -353,3 +355,8 @@ table thead { font-size: 20px; } +.isso-textarea { + height: 15em; + resize: vertical; + +}