aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNuno Alexandre <nuno@channable.com>2018-02-05 21:10:53 +0100
committerAlec Theriault <alec.theriault@gmail.com>2018-10-18 08:14:32 -0700
commit3354c3cc34166dc263114694de314ed3ca99c664 (patch)
tree9ecf4b04b2e2b85d7d45eaaa38a271ecddda75fc
parent440ceaf57a8bf0a8d421cad259e8a6e677282b81 (diff)
Decrease space between code blocks
There was too much space between code blocks as pointed out by reviewers.
-rw-r--r--haddock-api/resources/html/NewOcean.std-theme/new-ocean.css14
1 files 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;
}