Better fonts for docs

docs/assets/style.css

@@ -1,5 +1,3 @@
-@import url('https://fonts.googleapis.com/css?family=Roboto&display=swap');
-
 :root {
   --mono-hue: var(--theme-hue);
   --mono-saturation: 10%;
@@ -14,6 +12,7 @@
   --base-background-color-trans: rgba(13, 15, 21, 0);
   --base-font-family: "Roboto",sans-serif;
 
+  --code-font-family: "Fira Mono",monospace;
   --code-inline-background: var(--mono-tint1);
 
   --link-color: var(--theme-color);
@@ -31,6 +30,21 @@
   background-attachment: fixed;
 }
 
+@media (min-width: 1200px) {
+  :root {
+      --base-font-size: 18px;
+  }
+}
+
+@media (min-width: 1400px) {
+  :root {
+      --base-font-size: 20px;
+  }
+  .sidebar-nav {
+    font-size: 18px;
+  }
+}
+
 .loading {
   margin: 150px auto 0;
   position: relative;

docs/index.html

@@ -39,5 +39,6 @@
   <script src="https://cdn.jsdelivr.net/npm/docsify-themeable@0"></script>
   <script src="//unpkg.com/docsify/lib/plugins/search.min.js"></script>
   <script src="//unpkg.com/docsify-pagination/dist/docsify-pagination.min.js"></script>
+  <link href="https://fonts.googleapis.com/css?family=Fira+Mono|Roboto:400,700&display=swap" rel="stylesheet">
 </body>
 </html>