A few adjustments for chunking the new file edit page

2026-04-18 22:33:44 +02:00 · 2019-09-28 14:59:05 -07:00
parent 8599e2c64b
commit c66d2cd123
9 changed files with 72 additions and 28 deletions
--- a/tailwind.js
+++ b/tailwind.js
@@ -211,6 +211,9 @@ module.exports = {
            'serif',
        ],
        'mono': [
+            '"IBM Plex Mono"',
+            '"Source Code Pro"',
+            'SourceCodePro',
            'Menlo',
            'Monaco',
            'Consolas',