summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHW42 <hw42@ipsumj.de>2015-08-30 02:19:03 +0200
committerHolger Levsen <holger@layer-acht.org>2015-08-30 13:34:44 +0200
commit24d53e80f93d3cd65daa1c264e60e43763ada37a (patch)
treed103660a141bf3a588198695b3e879b35c6b8c4e
parent2201dd7a8ae1d6ec8037fffccd3c8fe3ed589629 (diff)
downloadjenkins.debian.net-24d53e80f93d3cd65daa1c264e60e43763ada37a.tar.xz
package html: add a bit spacing between <li>s
-rw-r--r--userContent/reproducible/static/style.css5
1 files changed, 4 insertions, 1 deletions
diff --git a/userContent/reproducible/static/style.css b/userContent/reproducible/static/style.css
index dfeaa071..f4831b4d 100644
--- a/userContent/reproducible/static/style.css
+++ b/userContent/reproducible/static/style.css
@@ -96,7 +96,10 @@ ul.menu {
}
.head ul.children li {
- margin: 0;
+ margin-top: 0.75ex;
+ margin-bottom: 0;
+ margin-left: 0;
+ margin-right: 0;
}
.suite {