diff options
| author | HW42 <hw42@ipsumj.de> | 2015-08-30 02:19:03 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-30 13:34:44 +0200 |
| commit | 24d53e80f93d3cd65daa1c264e60e43763ada37a (patch) | |
| tree | d103660a141bf3a588198695b3e879b35c6b8c4e /userContent | |
| parent | 2201dd7a8ae1d6ec8037fffccd3c8fe3ed589629 (diff) | |
| download | jenkins.debian.net-24d53e80f93d3cd65daa1c264e60e43763ada37a.tar.xz | |
package html: add a bit spacing between <li>s
Diffstat (limited to 'userContent')
| -rw-r--r-- | userContent/reproducible/static/style.css | 5 |
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 { |