Docs that use JuliaMono font (#293)

* -> JuliaMono font

* delete themes

* add pre, detab

* Update docs/src/assets/chainrules.scss

Co-authored-by: Simeon Schaub <simeondavidschaub99@gmail.com>

Co-authored-by: Nick Robinson <npr251@gmail.com>
Co-authored-by: Simeon Schaub <simeondavidschaub99@gmail.com>

Author: 3 people

docs/src/assets/chainrules.scss

@@ -1,12 +1,24 @@
 // Only for light theme
 
+@font-face {
+  font-family: JuliaMono;
+  src:
+    local('JuliaMono'),
+    url("https://cdn.jsdelivr.net/gh/cormullion/juliamono/webfonts/JuliaMono-Regular.woff2");
+}
+
+html.theme--documenter-dark pre,
+html.theme--documenter-dark code {
+  font-family: "JuliaMono";
+}
+
 html:not(.theme--documenter-dark) body #documenter {
   // Links
-  
+
   a {
     color: #4595D1;
   }
-  
+
   a:hover, a:focus {
     color: #194E82;
   }
@@ -29,7 +41,7 @@ html:not(.theme--documenter-dark) body #documenter {
       .tocitem {
         color: #FFFFFF;
         background: none;
-        
+
         &:hover { @extend %nav-hover; }
       }
 
@@ -63,26 +75,22 @@ html:not(.theme--documenter-dark) body #documenter {
       }
     }
   }
-  
+
   // Text
 
   article#documenter-page a.docs-heading-anchor {
     color: #194E82;
   }
 
   // Code
-  
-  code {
+
+  pre, code {
     color: inherit;
-    
+    font-family: "JuliaMono";
     .hljs-meta { color: #4595D1; }
-  
     .hljs-keyword { color: #194E82; }
   }
 
-  pre, code {
-    font-family: "Liberation Mono", "Consolas", "DejaVu Sans Mono", "Ubuntu Mono", "andale mono", "lucida console", monospace;
-  }
 }
 
 // Terminology Block
@@ -118,4 +126,3 @@ details {
 html.theme--documenter-dark details {
   background: #282f2f;
 }
-