diff options
-rw-r--r-- | doc/_static/demo.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/_static/demo.css b/doc/_static/demo.css index e14379af..eaa44104 100644 --- a/doc/_static/demo.css +++ b/doc/_static/demo.css @@ -17,6 +17,7 @@ padding: 2px; width: 100%; min-height: 150px; + resize: vertical; } #hlcode { |