Use better fonts in Playground (#9193)

This commit is contained in:
Sosuke Suzuki authored and GitHub committed 2020-09-17 21:09:58 +03:00
1 parent 842e3d86cd
commit 3e6dd0d5e8
1 file changed
+1
@@ -144,6 +144,7 @@ header h1 {
right: 0;
bottom: 0;
line-height: 1.6;
font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
}
.bottom-bar {