Update Markdeep version and break our style add-ons into separate docs.css.

Author: lgritz

src/doc/CMakeLists.txt

@@ -1,6 +1,7 @@
 set (public_docs osl-languagespec.pdf
                  testshade.md.html
                  markdeep.min.js
+                 docs.css
                  )
 
 install (FILES ${public_docs} DESTINATION ${CMAKE_INSTALL_DOCDIR} COMPONENT documentation)

src/doc/docs.css

@@ -0,0 +1,36 @@
+/* Custom stylesheet.
+ * Bits copied from many sources, including those that come with Markdeep.
+ */
+
+body {
+    max-width: 50em;
+    /*font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;*/
+    text-align: left;
+    margin: 1.5em;
+    padding: 0 1em;
+}
+
+/* if screen is wide enough, put table of contents on the right side */
+@media screen and (min-width: 64em) {
+    .md .longTOC, .md .mediumTOC, .md .shortTOC {
+    position: fixed;
+        max-width: 20em;
+    left: 54em;
+        display:block;
+    }
+}
+
+/* for narrow screens or print, hide table of contents */
+@media screen and (max-width: 64em) {
+    .md .longTOC, .md .mediumTOC, .md .shortTOC { display: none; }
+}
+
+@media print {
+    .md .longTOC, .md .mediumTOC, .md .shortTOC { display: none; }
+    body { max-width: 100%; }
+}
+
+/* For printed docs, put page breaks before chapters */
+@media print {
+    h1, .nonumberh1 { page-break-before: always }
+}

src/doc/markdeep.min.js

@@ -1003,7 +1003,5 @@
 
 
 <!-- Markdeep: --><style class="fallback">body{visibility:hidden;white-space:pre;font-family:monospace}</style><script src="markdeep.min.js"></script><script src="https://casual-effects.com/markdeep/latest/markdeep.min.js?"></script><script>window.alreadyProcessedMarkdeep||(document.body.style.visibility="visible")</script>
+<link rel="stylesheet" href="docs.css?">
 
-<style>
-h1, .nonumberh1 { page-break-before: always }
-</style>