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

Reordered fonts to have Monaco first.

Browse source
This commit is contained in:
Wen Kokke 2018-06-26 16:43:50 +01:00
parent 7a3676ae2e
commit 19ced7f448
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
_sass/agda.scss
View file

@ -1,7 +1,7 @@
// Define variables for code formatting
@mixin code-font {
font-family: 'Source Code Pro', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Menlo', 'Consolas', 'Monaco', 'Ludica Console', 'Liberation Mono', 'Courier New', monospace, serif;
font-family: 'Monaco', 'Source Code Pro', 'Courier New', 'Menlo', 'Ludica Console', 'Liberation Mono', monospace, serif;
font-size: .85em;
}
@mixin code-container {

2
src/plta/Fonts.lagda
View file

@ -32,7 +32,6 @@ ABCDEFGHIJKLMNOPQRSTUVWXYZ|
⟨⟨⟨⟩⟩⟩|
→→→⇒⇒⇒|
←←←⇐⇐⇐|
------|
----|
⌊⌋⌈⌉|
@ -40,6 +39,7 @@ ABCDEFGHIJKLMNOPQRSTUVWXYZ|
↦↦↦↦|
↠↠↠↠|
ͰͰͰͰ|
⊦⊦⊦⊦|
∈∈∈∈|
∋∋∋∋|
----|