From 17b1775166848b39bbe6d8a244506f272e7a2097 Mon Sep 17 00:00:00 2001 From: Mahdi Mohammadi Date: Sun, 11 Jun 2017 22:22:52 +0000 Subject: [PATCH] change_font --- css/main.css | 1 + type.html | 1 + 2 files changed, 2 insertions(+) diff --git a/css/main.css b/css/main.css index 5075517..5f20a3d 100644 --- a/css/main.css +++ b/css/main.css @@ -44,6 +44,7 @@ #content { margin-top: 33px; + font-family: "Ubuntu Mono"; } #content.paused > .CodeMirror { diff --git a/type.html b/type.html index fb55aec..4db2201 100644 --- a/type.html +++ b/type.html @@ -5,6 +5,7 @@ Type +