michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Set default Agda font to Menlo

Browse source
This commit is contained in:
Wen Kokke 2018-05-23 22:52:27 +01:00
parent 9a277b015e
commit da43f20235
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
_sass/Agda.scss
View file

@ -4,7 +4,7 @@
background: #e8f2fb;
border: 1px solid #c9e1f6;
border-radius: 3px;
font-family: Source Code Pro, Consolas, Menlo, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
font-family: Menlo, Source Code Pro, Consolas, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
font-size: .85em; }
.Spec {