Fixing resizing

Author: gvwilson

assets/book.css

@@ -1,6 +1,7 @@
 header {
     text-align: center;
 }
+
 p.author,p.subtitle,p.date {
     font-style: italic;
     font-size: 1.5rem;
@@ -20,21 +21,20 @@ h1.unnumbered {
     border-top-style: none;
 }
 
-div.row-scrollable {
-    height: 100vh;
+@media (min-width: 768px) {
+    .col-toc {
+        position: sticky;
+        position: -webkit-sticky;
+        top: 0;
+        height: 100vh;
+        overflow-y: scroll;
+    }
 }
 
-div.col-toc {
-    height: 100%;
-    overflow-y: scroll;
+.col-toc {
     font-size: 90%;
 }
 
-div.col-body {
-    height: 100%;
-    overflow-y: scroll;
-}
-
 div.dedication {
     text-align: center;
     font-style: italic;
@@ -48,6 +48,7 @@ div.sourceCode {
     padding: 0.5em;
     background-color: #FCFCFC;
 }
+
 /* Outlines for text output. */
 pre.text {
     border-style: solid;

docs/assets/book.css

@@ -1,6 +1,7 @@
 header {
     text-align: center;
 }
+
 p.author,p.subtitle,p.date {
     font-style: italic;
     font-size: 1.5rem;
@@ -20,21 +21,20 @@ h1.unnumbered {
     border-top-style: none;
 }
 
-div.row-scrollable {
-    height: 100vh;
+@media (min-width: 768px) {
+    .col-toc {
+        position: sticky;
+        position: -webkit-sticky;
+        top: 0;
+        height: 100vh;
+        overflow-y: scroll;
+    }
 }
 
-div.col-toc {
-    height: 100%;
-    overflow-y: scroll;
+.col-toc {
     font-size: 90%;
 }
 
-div.col-body {
-    height: 100%;
-    overflow-y: scroll;
-}
-
 div.dedication {
     text-align: center;
     font-style: italic;
@@ -48,6 +48,7 @@ div.sourceCode {
     padding: 0.5em;
     background-color: #FCFCFC;
 }
+
 /* Outlines for text output. */
 pre.text {
     border-style: solid;