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;