planet: improve print layout

1 files changed, 9 insertions, 2 deletions

diff --git a/Info/9/3/Planet/planet-mebis-page-template.html b/Info/9/3/Planet/planet-mebis-page-template.html
index 95995e43..df31d508 100644
--- a/Info/9/3/Planet/planet-mebis-page-template.html
+++ b/Info/9/3/Planet/planet-mebis-page-template.html
@@ -23,6 +23,13 @@ body {
   display: none;
 }
 @media print {
+  @page {
+    size: A4;
+    margin: 1.5cm;
+    @bottom-right {
+       content: counter(page) ' von ' counter(pages);
+    }
+  }
   html {
     background-color: white;
   }
@@ -30,7 +37,7 @@ body {
     background-color: transparent;
     color: black;
     font-size: 12pt;
-    max-width: 90%;
+    max-width: 100%;
   }
   .terminal {
     display: none;
@@ -159,7 +166,7 @@ pre.sourceCode { margin: 0; }
 }
 @media print {
   div.sourceCode { font-size: small; }
-  pre > code.sourceCode { white-space: visible; }
+  pre > code.sourceCode { white-space: pre-wrap; }
   pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }
 }
 pre.numberSource code { counter-reset: source-line 0; }