(Subjective) The dotted border style is less obtrusive (negative

space) than the dotted border style. While present, the dotted blends
away better. Observing 1 + 1 = 3 or more principle.

diff --git a/theme/base/css/display.css b/theme/base/css/display.css
index 3b4a2a4b302e39169cc63d0be72c5985003461aa..ec9e6097faceeee9cd044ea842b3fe9b8a16c136 100644 (file)
--- a/theme/base/css/display.css
+++ b/theme/base/css/display.css
@@ -717,7 +717,7 @@ clear:both;
 float:left;
 width:100%;
 border-top-width:1px;
-border-top-style:dashed;
+border-top-style:dotted;
 }
 .notices li {
 list-style-type:none;