Meta: add PDF printing CSS

package.json

@@ -7,6 +7,7 @@
     "build-es2018": "git remote remove origin && git remote add origin \"[email protected]:$TRAVIS_REPO_SLUG.git\" && git fetch --quiet origin && git checkout --quiet es2018 && mkdir \"out/2018\" && cp -R img \"out/2018\" && ecmarkup --verbose spec.html out/2018/index.html --css out/2018/ecmarkup.css --js out/2018/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-es2018",
     "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;
@@ -22509,7 +22518,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>