Author: peterdd (peterdd)
Committer: GitHub (web-flow)
Pusher: saundefined
Date: 2024-07-06T00:04:21+03:00

Commit: 
https://github.com/php/web-php/commit/d4acbf45baea68403853de0d857e92f0624cb54b
Raw diff: 
https://github.com/php/web-php/commit/d4acbf45baea68403853de0d857e92f0624cb54b.diff

usability: avoid gap between a wrapped link in aside bar (#439)

Changed paths:
  M  styles/theme-medium.css


Diff:

diff --git a/styles/theme-medium.css b/styles/theme-medium.css
index c76498c009..a944cdf281 100644
--- a/styles/theme-medium.css
+++ b/styles/theme-medium.css
@@ -400,6 +400,10 @@ aside.tips div.border {
 aside.tips h3 {
   color:#E6E6E6;
 }
+aside.tips li {
+  line-height: 1.2rem; /* avoid gaps in wrapped links */
+  margin-bottom: 0.5rem; /* seperate each link item a little bit from 
eachother */
+}
 aside.tips a {
   color: var(--background-text-color);
   border-bottom:1px dotted #666;

Reply via email to