Fix double dotted line in sidebar

[hannesvdvreken]

See https://bugs.php.net/bug.php?id=75549

[lex111]

It's a bit not what I had in mind. I pointed out that need to remove short borders, i.e. long borders should only be displays.

After apply patch	Expected

But maybe it's better, I don't know, just leaving only the short borders, it doesn't look very good:

[hannesvdvreken]

so: the links in a list should have short lines,
the lines under titles, and links that aren't in a list: long lines.

right?

[lex111]

@hannesvdvreken I think so.

[salathe]

Something like the following looks better, to me. The border-bottom: none line should be all that is really required to remove the extra border.

diff --git a/styles/theme-medium.css b/styles/theme-medium.css
index affadcef..8a0437b2 100755
--- a/styles/theme-medium.css
+++ b/styles/theme-medium.css
@@ -410,6 +410,9 @@ aside.tips a {
   color:#ccc;
   border-bottom:1px dotted #666;
 }
+aside.tips .panel > a {
+  border-bottom: none;
+}
 aside.tips .panel > a:after,
 aside.tips .panel > span:after {
   content:" ";

I'd also be temped to thrown in a display: block there as well, which is a helpful usability tweak to make the anchor fill the width and so be easier to click.

[lex111]

@salathe agree, I tested these styles before when I did the screenshots above.

I'd also be temped to thrown in a display: block there as well, which is a helpful usability tweak to make the anchor fill the width and so be easier to click.

It would be good 👍

[hannesvdvreken]

@salathe @lex111 like this?

[lex111]

@hannesvdvreken yes exactly 👍

[salathe]

@hannesvdvreken yes, that looks good to me. 👍