Meta: add PDF printing CSS

package.json

@@ -7,6 +7,7 @@
     "build-es2019": "git remote remove origin && git remote add origin \"git@github.com:$TRAVIS_REPO_SLUG.git\" && git fetch --quiet origin && git checkout --quiet es2019 && mkdir \"out/2019\" && cp -R img \"out/2019\" && ecmarkup --verbose spec.html out/2019/index.html --css out/2019/ecmarkup.css --js out/2019/ecmarkup.js && git checkout --quiet test-travis",
     "build-master": "mkdir out && cp -R img out && ecmarkup --verbose spec.html out/index.html --css out/ecmarkup.css --js out/ecmarkup.js",
     "build": "npm run clean && npm run build-master",
+    "build-for-pdf": "npm run build -- -- -- --old-toc",
     "build-travis": "npm run clean && npm run build-master && npm run build-es2019",
     "clean": "rm -rf out",
     "test": "exit 0",

spec.html

@@ -6,6 +6,15 @@
 <script src="ecmarkup.js"></script>
 <style>
   /* custom styles */
+  @media print {
+    /* for the PDF */
+    body.oldtoc {
+      font-size: 80%;
+    }
+    .oldtoc var {
+      color: #197124;
+    }
+  }
   #metadata-block {
     margin: 4em 0;
     padding: 10px;
@@ -22508,7 +22517,7 @@ <h1>InitializeEnvironment ( ) Concrete Method</h1>
             1. Return NormalCompletion(~empty~).
           </emu-alg>
         </emu-clause>
-        
+
         <emu-clause id="sec-source-text-module-record-execute-module" aoid="ExecuteModule">
           <h1>ExecuteModule ( ) Concrete Method</h1>