From 3354c3cc34166dc263114694de314ed3ca99c664 Mon Sep 17 00:00:00 2001 From: Nuno Alexandre Date: Mon, 5 Feb 2018 21:10:53 +0100 Subject: Decrease space between code blocks There was too much space between code blocks as pointed out by reviewers. --- .../resources/html/NewOcean.std-theme/new-ocean.css | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css index 4d336296..fe6300fe 100644 --- a/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css +++ b/haddock-api/resources/html/NewOcean.std-theme/new-ocean.css @@ -274,14 +274,14 @@ details[open] > summary { } pre { - padding: 17px; - margin: 1em 0 2em 0; + padding: 1rem; + margin: 0px; background-color: rgba(0, 0, 0, .033); overflow: auto; - border-bottom: 0.25em solid white; - /* white border adds some space below the box to compensate - for visual extra space that paragraphs have between baseline - and the bounding box */ +} + +pre + pre { + margin-top: 0.4em; } .src { @@ -319,7 +319,7 @@ pre { #package-header .caption { color: white; font-style: normal; - font-size: 1.1rem; + font-size: 1rem; font-weight: bold; } -- cgit v1.2.3