From d6c1b000134735632c208166a901b5df24bffbfb Mon Sep 17 00:00:00 2001
From: manetta <mail@manettaberends.nl>
Date: Mon, 8 Nov 2021 23:25:59 +0100
Subject: [PATCH] backup the css

---
 command-line/css/print.css | 26 +++++++++++++++++++-------
 1 file changed, 19 insertions(+), 7 deletions(-)

diff --git a/command-line/css/print.css b/command-line/css/print.css
index 6b5f2de..926a953 100644
--- a/command-line/css/print.css
+++ b/command-line/css/print.css
@@ -292,7 +292,7 @@ div.backcover{
 div.cover,
 div.backcover{
     hyphens: none;
-    margin: -10mm 0 0 20mm;
+    margin: -7.5mm 0 0 20mm;
 }
     div.cover,
     div.cover ul li,
@@ -304,6 +304,10 @@ div.backcover{
         color: white;
         font-weight: bold;
     }
+    div.backcover h2{
+        position: relative !important;
+        margin-top: 0 !important;
+    }
     div.backcover{
         color: white;
     }
@@ -366,7 +370,7 @@ div.toc *{
         margin-left: 7mm;
     }
     div.toc ul{
-        margin: var(--line-height) 0 0 10mm;
+        margin: var(--line-height) 0 0 10mm !important;
     }
         div.toc ul li{
             margin-bottom: 0.5em;
@@ -452,8 +456,8 @@ span.star{
 
 h1{
     /* section titles */
-    font-size: 42px;
-    line-height: 48px;
+    font-size: 44px;
+    line-height: 52px;
     margin: 0;
     word-break: normal;
     hyphens: manual !important;
@@ -561,10 +565,14 @@ p{
     div.contribution.interview-phil h3 + p {
         text-indent: var(--first-indent) !important;
     }    
+    div.contribution.information-for-users h2 + p + p + p > b,
     div.contribution.ultrasonic-dreams h2 + p + p + p > b{
         margin-left: -7mm;
     }
 
+ul{
+    margin: 18px 0 !important;
+}
 ul > li {
     list-style: none;
     text-indent: 0;
@@ -625,6 +633,10 @@ ul > li {
             text-indent: -1em;
             margin-bottom: unset !important;
         }
+        div.contribution.so-called-plants ol.references,
+        div.contribution.interview-phil ol.references{
+            page-break-after: always;
+        }
 
     div.note{
         font-size: var(--small-font-size);
@@ -767,13 +779,13 @@ blockquote{
 table{
     width: 125mm !important;
     margin-left: -10mm !important;
-    font-size: 8pt !important;
-    line-height: 11pt;
+    font-size: var(--small-font-size) !important;
+    line-height: var(--small-line-height);
     hyphens: none;
     page-break-after: always;
 }
     table p{
-        margin-bottom: var(--line-height) !important;
+        margin-bottom: 15px !important;
     }
     td {
         vertical-align: top;