change_font

This commit is contained in:
Mahdi Mohammadi 2017-06-11 22:22:52 +00:00
parent 058828d922
commit 17b1775166
2 changed files with 2 additions and 0 deletions

View File

@ -44,6 +44,7 @@
#content {
margin-top: 33px;
font-family: "Ubuntu Mono";
}
#content.paused > .CodeMirror {

View File

@ -5,6 +5,7 @@
<title>Type</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.19.0/codemirror.min.css">
<link rel="stylesheet" href="/css/main.css">
<link href='//fonts.googleapis.com/css?family=PT+Sans|Ubuntu+Mono' rel=stylesheet type='text/css'>
</head>
<body>