From 24d53e80f93d3cd65daa1c264e60e43763ada37a Mon Sep 17 00:00:00 2001 From: HW42 Date: Sun, 30 Aug 2015 02:19:03 +0200 Subject: package html: add a bit spacing between
  • s --- userContent/reproducible/static/style.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'userContent') 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 { -- cgit v1.2.3-54-g00ecf