summaryrefslogtreecommitdiffstats
path: root/userContent
diff options
context:
space:
mode:
Diffstat (limited to 'userContent')
-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 {