Switch font to Comic Mono

docs/assets/stylesheets/extra.css

@@ -1,3 +1,7 @@
  .md-nav__item--active{
     padding: 0 !important;
  }
+ @font-face {
+   font-family: 'Comic Mono';
+   src: url(/assets/fonts/comicmono.ttf);
+ }

mkdocs.yml

@@ -6,6 +6,8 @@ theme:
   custom_dir: overrides
   logo: assets/images/logo.png
   favicon: assets/images/logo.png
+  font:
+    text: Comic Mono
   features:
     - navigation.tracking
     - navigation.sections

overrides/partials/copyright.html

@@ -37,5 +37,6 @@
       </a>
     {% endif %}
     <br>
-    Site last built {{ build_date_utc.strftime('%Y-%m-%d @ %H:%M UTC') }}
+    <p>Site last built {{ build_date_utc.strftime('%Y-%m-%d @ %H:%M UTC') }}</p>
+    <p><a href="https://dtinth.github.io/comic-mono-font/">Comic Mono</a> font copyright (c) dtinth</p>
   </div>