[DOI: 10.5281/zenodo.838768] Added version (2017.08) to all pages via CSS

Author: twitwi

assets/css/lesson.css

@@ -318,3 +318,25 @@ ol {
 span.fold-unfold {
   margin-left: 1em;
   opacity: 0.5; }
+
+/* version added automatically */
+div.navbar-header:hover::before {
+    content: "[DOI: 10.5281/zenodo.838768] ";
+}
+div.navbar-header::before {
+    content: "Version 2017.08";
+    font-size: 10px;
+    font-family: monospace;
+    font-weight: bold;
+    line-height: 1;
+    /* */
+    position: fixed;
+    right: 0;
+    top: 0;
+    z-index: 10;
+    /* */
+    color: white;
+    background: rgb(43, 57, 144);
+    padding: 3px;
+    border: 1px solid white;
+}