nicer config editor font

This commit is contained in:
Eugene Pankov
2018-10-12 13:49:59 +02:00
parent fd6ee5c8ec
commit c13159f7e2
12 changed files with 2143 additions and 1 deletions

View File

@@ -26,6 +26,7 @@ $body-bg2: #20333e;
$body-color: #ccc;
$font-family-sans-serif: "Source Sans Pro";
$font-family-monospace: "Source Code Pro";
$font-size-base: 14rem / 16;
$btn-border-radius: 0;