Add details CSS to fold things

css/partials/_details.scss

@@ -0,0 +1,28 @@
+details {
+    /* color: #2980B9; */
+    background: #fbfbfb;
+    border: 1px solid  #c9c9c9;
+    border-radius: 3px;
+    padding:  0.25em;
+    margin-bottom: 1.0em;
+    pre.src {
+        border: 0;
+        background: none;
+        margin: 0;
+    }
+    pre.src-lisp::before { content: ""; }
+}
+
+
+summary {
+    outline: 0;
+    color: #c9c9c9;
+    &::after {
+        font-size: 0.85em;
+        color: #c9c9c9;
+        display: inline-block;
+        float: right;
+        content: "Click to fold/unfold";
+        padding-right:  0.5em;
+    }
+}

css/style.css

@@ -1116,4 +1116,29 @@ iframe {
 video {
   max-width: 100%; }
 
+details {
+  /* color: #2980B9; */
+  background: #fbfbfb;
+  border: 1px solid  #c9c9c9;
+  border-radius: 3px;
+  padding: 0.25em;
+  margin-bottom: 1.0em; }
+  details pre.src {
+    border: 0;
+    background: none;
+    margin: 0; }
+  details pre.src-lisp::before {
+    content: ""; }
+
+summary {
+  outline: 0;
+  color: #c9c9c9; }
+  summary::after {
+    font-size: 0.85em;
+    color: #c9c9c9;
+    display: inline-block;
+    float: right;
+    content: "Click to fold/unfold";
+    padding-right: 0.5em; }
+
 /*# sourceMappingURL=style.css.map */

css/style.scss

@@ -10,3 +10,4 @@
 @import 'partials/_figures.scss';
 @import 'partials/_tables.scss';
 @import 'partials/_video.scss';
+@import 'partials/_details.scss';