[web-shared] master: Tweak wiki style for edit section
| From: | Derick Rethans | Date: | Wed, 09 Sep 2026 15:33:45 +0000 |
| Subject: | [web-shared] master: Tweak wiki style for edit section | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-34013@lists.php.net to get a copy of this message | ||
Author: Derick Rethans (derickr)
Date: 2026-09-09T16:33:39+01:00
Commit: https://github.com/php/web-shared/commit/029a93f8ef32e78fbde9cb6cf3472391523bff95
Raw diff: https://github.com/php/web-shared/commit/029a93f8ef32e78fbde9cb6cf3472391523bff95.diff
Tweak wiki style for edit section
Changed paths:
M styles/wiki.css
Diff:
diff --git a/styles/wiki.css b/styles/wiki.css
index ba2d750..583d2a2 100644
--- a/styles/wiki.css
+++ b/styles/wiki.css
@@ -271,6 +271,7 @@ body footer {
margin: 0;
list-style: none;
font-size: 0.875em;
+ height: 2.5em;
}
#dokuwiki__pagetools ul li a {
display: block;