diff options
author | Matthäus G. Chajdas <Anteru@users.noreply.github.com> | 2022-12-05 08:54:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-05 08:54:48 +0100 |
commit | 68a7a9b1df4250530dddaa462bc4baf360d32181 (patch) | |
tree | 7260f114a999feb72e74bd924415b654db3d2b11 /doc | |
parent | a3cb36577d937654f604b245e7f71ed00195ceeb (diff) | |
download | pygments-git-68a7a9b1df4250530dddaa462bc4baf360d32181.tar.gz |
Update demo.css
Port https://github.com/pygments/pygments.github.io/pull/4/files
Diffstat (limited to 'doc')
-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 { |