Adding upstream version 18.2.2.upstream/18.2.2

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 28 insertions, 0 deletions

diff --git a/doc/_static/css/custom.css b/doc/_static/css/custom.css
new file mode 100644
index 000000000..2a37cab99
--- /dev/null
+++ b/doc/_static/css/custom.css
@@ -0,0 +1,28 @@
+dt { 
+    scroll-margin-top: 3em; 
+}
+
+h2 {
+    scroll-margin-top: 4em; 
+}
+
+h3 {
+    scroll-margin-top: 4em; 
+}
+
+section {
+    scroll-margin-top: 4em; 
+}
+
+span {
+    scroll-margin-top: 2em; 
+}
+
+ul.simple > li > ul > li:last-child {
+    margin-block-end : 1em;
+}
+
+div.section > ul > li > p {
+    margin-block-start : 0.6em;
+    margin-block-end : 0.6em;
+}