From 6379d9889f0b770f5e8f683632d150e852d03ae9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 7 Sep 2020 16:05:19 +0200 Subject: [PATCH] * doc/org/spot.css: Remove margin-bottom from pre.example. --- doc/org/spot.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/org/spot.css b/doc/org/spot.css index b4ab9c1e5..dd46b579c 100644 --- a/doc/org/spot.css +++ b/doc/org/spot.css @@ -18,7 +18,7 @@ body a{color:#008181} .outline-3 h3:before{content:"";position:absolute;z-index:-1;left:-.2em;bottom:-.05em;height:1.2em;width:1.2em;background-color:#ffe35e;border-radius:5px} pre.src{padding-top:8px;border-left-style:solid;border-color:#00adad;overflow:auto;margin-top:0;margin-bottom:0} pre.src-hoa{border-color:#d70079} -pre.example{border-left-style:solid;border-color:#d70079;margin-top:0;margin-bottom:0;position:relative;z-index:2} +pre.example{border-left-style:solid;border-color:#d70079;margin-top:0;position:relative;z-index:2} div.org-src-container+pre.example{border-top-width:1px;border-top-color:#ddd;border-top-style:dashed} div.org-src-container+div.org-src-container pre.src{border-top-width:1px;border-top-color:#ddd;border-top-style:dashed} div.org-src-container {margin-top:0;margin-bottom:0;position:relative;z-index:1}