backup of the print.css

command-line/css/print.css

@@ -1,6 +1,6 @@
 :root{
-    --font-size: 10pt;
+    --font-size: 9pt;
-    --line-height: 15.5pt;
+    --line-height: 14pt;
     --small-font-size: 7.5pt;
     --small-line-height: 1.55;
     --first-indent: 7mm;
@@ -9,13 +9,32 @@
 
 @font-face{
     font-family: "bitter";
-    src: url(../fonts/Bitter-SemiBold.ttf);
+    src: url(../fonts/Bitter-Medium.ttf);
+    font-weight: normal;
+    font-style: normal;
+}
+@font-face{
+    font-family: "bitter";
+    src: url(../fonts/Bitter-MediumItalic.ttf);
+    font-weight: normal;
+    font-style: italic;
+}
+@font-face{
+    font-family: "bitter";
+    src: url(../fonts/Bitter-Bold.ttf);
     font-weight: bold;
     font-style: normal;
 }
 @font-face{
     font-family: "bitter";
-    src: url(../fonts/Bitter-Medium.ttf);
+    src: url(../fonts/Bitter-BoldItalic.ttf);
+    font-weight: bold;
+    font-style: italic;
+}
+
+@font-face{
+    font-family: "bitter_semi";
+    src: url(../fonts/Bitter-SemiBold.ttf);
     font-weight: normal;
     font-style: normal;
 }
@@ -31,7 +50,9 @@ html, body{
 }
 
 @page{
-    size: 152.4mm 228.6mm;
+    /*size: 152.4mm 228.6mm;*/ /* Size of the online PDF */
+    /*size: 152mm 229mm;*/ /* Size listed in cover generator of Lightning Source */
+    size: 164mm 237mm; /* Size of the printed DB06 book */
 
     @top-center{
         content: string(sectiontitle);
@@ -41,7 +62,7 @@ html, body{
     }
     @bottom-center{
         content: counter(page);
-        font-size: 9pt;
+        font-size: 9.5pt;
         margin-top: -6mm;
     }
 }
@@ -80,78 +101,13 @@ html, body{
         content: "";
     }
     @top-center{
-        content: "---";
+        content: "";
     }
     @bottom-center{
         content: "";
     }
 }
 
-
-/* general elements*/
-h1{
-    string-set: sectiontitle content(text); 
-    font-size: 37pt;
-    line-height: 1.4;
-    margin: 0;
-    color: green;
-    word-break: normal;
-    hyphens: none;
-}
-h2{
-    string-set: contributiontitle content(text); 
-    font-size: 16pt;
-    line-height: 22pt;
-    letter-spacing: 0.025em;
-    margin: 0 0 1em var(--second-indent);
-    hyphens: none;
-}
-h3{
-    font-size: 100%;
-    margin: 1em 0 0 var(--second-indent);
-    page-break-after: avoid;
-    hyphens: none;
-}
-h4, h5, h6{
-    margin: 0 0 1em 0;
-    page-break-after: avoid;
-    hyphens: none;
-}
-.thumb{
-    /* image caption */
-    font-size: var(--small-font-size);
-    line-height: var(--small-line-height);
-    margin: 24pt 16pt 16pt 16pt;
-    page-break-inside: avoid;
-}
-img{
-    position: relative;
-    display: block;
-    max-width: 100mm;
-    height: auto;
-    margin: 0 0 8pt 0;
-}
-pre{
-    font-size: 8pt;
-    line-height: 1.8;
-    white-space: normal;
-    margin: 16pt 16pt;
-}
-table{
-    width: 100%;
-}
-sup{
-    line-height: 0;
-}
-a,
-a:visited,
-a:active,
-a:hover{
-    color: inherit;
-    text-decoration: none;
-    font-weight: bold;
-}
-
 /* sections */
 
 div.section{
@@ -187,7 +143,9 @@ div.cover{
     div.cover,
     div.cover ul li{
         font-size: 17pt;
+        font-family: "bitter_semi";
         line-height: 1.4;
+        letter-spacing: 0.025em;
         color: white;
         font-weight: bold;
     }
@@ -218,29 +176,149 @@ div.series{
 div.index{
 }
     div.index h3{
-        margin: 1em 0;
+        margin: 1em 0 !important;
     }
 div.introduction,
 div.contribution{
 }
-    div.introduction p,
+    div.contribution h2 + p > b{
-    div.contribution p{
+        font-weight: normal;
-        text-indent: var(--first-indent);
-        margin: 0;
-        padding: 0;
     }
-    div.introduction ol.references,
+ol.references,
-    div.contribution ol.references{
+ul /* This is tricky as it has no class, so these styles are applied to ALL ul elements */{
-        /* notes and references */
+    /* notes and references */
+    font-size: var(--small-font-size);
+    line-height: var(--small-line-height);
+    columns: 2 auto;
+    column-gap: 7mm;
+    margin: 0 1em;
+    padding: 0;
+}
+    div.cover ul,
+    div.index ul{
+        columns: unset;
+    }
+    ul li{
+        list-style: none;
+        text-indent: -1em;
+    }
+        div.cover ul li,
+        div.index ul li{
+            text-indent: 0;
+        }
+
+/* general elements*/
+
+h1{
+    string-set: sectiontitle content(text); 
+    font-size: 37pt;
+    line-height: 1.15;
+    margin: 0;
+    word-break: normal;
+    hyphens: none;
+}
+h2{
+    /* Contribution titles */
+    string-set: contributiontitle content(text);
+    font-family: "bitter_semi";
+    font-size: 16pt;
+    line-height: 22pt;
+    letter-spacing: 0.025em;
+    margin: 0 0 1em var(--second-indent);
+    hyphens: none;
+}
+h3{
+    /* Sub-headers + Notes/References sections + TOC headers*/
+    font-size: 100%;
+    page-break-after: avoid;
+    margin: 1em 0 0 var(--second-indent);
+    letter-spacing: 0.05em;
+    hyphens: none;
+}
+    /*This is for the Notes sections only, but how to apply it? */
+    /*h3{
+        margin: 1em 0 0 10px;
+    }*/
+h4{
+    /* Sub-sub-headers */
+    font-size: 100%;
+    page-break-after: avoid;
+    margin: 1em 0 0 var(--second-indent);
+    hyphens: none;
+    font-style: italic;
+    font-weight: normal;
+}
+h5, h6{
+    margin: 0 0 1em 0;
+    page-break-after: avoid;
+    hyphens: none;
+}
+p{
+    text-indent: var(--first-indent);
+    margin: 0;
+    padding: 0;
+}
+    div.series p,
+    div.cover p,
+    blockquote p{
+        text-indent: unset !important;
+    }
+    div.series p{
+        margin-bottom: 1em;
+    }
+img{
+    position: relative;
+    display: block;
+    min-width: 100%;
+    height: auto;
+    margin: 0 0 1em 0;
+}
+    .thumb{
+        /* sometimes wrapper of img + image caption */
         font-size: var(--small-font-size);
         line-height: var(--small-line-height);
-        columns: 2 auto;
+        margin: 1em var(--first-indent);
-        column-gap: 7mm;
+        page-break-inside: avoid;
-        margin: 1em 0;
+        hyphens: none;
-        padding: 0;
     }
+    .thumb img{
+        margin-left: -7mm !important; /* same as first-indent but inverted */
+    }
+pre{
+    font-size: 8pt;
+    line-height: 1.8;
+    white-space: normal;
+    margin: 1em var(--first-indent);
+}
+blockquote{
+    margin: 0 0 0 var(--second-indent);
+    font-style: italic;
+}
+table{
+    width: 100%;
+}
+sup{
+    line-height: 0;
+}
+a,
+a:visited,
+a:active,
+a:hover{
+    color: inherit;
+    text-decoration: none;
+}
 
 /* specific details, uitzonderingen */
 a.external{
     word-break: break-all;
 }
+
+@media print{
+    html, body{
+        background-color: transparent;
+    }
+    div#nav{
+        display: none !important;
+    }
+}
+