Replace fonts with IBM-Plex

2019-08-04 00:00:30 +02:00
parent d39f99ae3f
commit e1a32dbef1
34 changed files with 50 additions and 7 deletions
--- a/templates/default.html
+++ b/templates/default.html
@@ -5,6 +5,7 @@
        <meta http-equiv="x-ua-compatible" content="ie=edge">
        <meta name="viewport" content="width=device-width, initial-scale=1">
        <title>$title$</title>
+        <link rel="stylesheet" href="/css/fonts.css" />
        <link rel="stylesheet" href="/css/theme.css" />
        <link rel="stylesheet" href="/css/syntax.css" />
  </head>