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

Updated woff and css to include home brewed font (#570)

Browse source
This commit is contained in:
Altariarite 2021-08-22 19:53:43 +01:00 • committed by GitHub
parent 43bdaa94f4
commit 46371b34e8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
css/minima/agda.scss
View file

@ -1,3 +1,8 @@
@font-face{
font-family: DejaVu mononoki Symbola Droid;
src:
url('../webfonts/DejaVu-mononoki-Symbola-Droid.woff') format('woff')
}
@font-face {
font-family: 'mononoki';
src: url('../webfonts/mononoki.woff2') format('woff2'),
@ -19,7 +24,7 @@
}
@mixin code-font {
font-family: 'mononoki', 'DejaVu Sans Mono', 'Source Code Pro', 'Bitstream Vera Sans Mono', 'FreeMono', 'Courier New', 'Monaco', 'Menlo', monospace, serif;
font-family: 'DejaVu mononoki Symbola Droid', 'mononoki', 'DejaVu Sans Mono', 'Source Code Pro', 'Bitstream Vera Sans Mono', 'FreeMono', 'Courier New', 'Monaco', 'Menlo', monospace, serif;
font-size: .85em;
}
@mixin code-container {

BIN
public/webfonts/DejaVu-mononoki-Symbola-Droid.woff Normal file
View file

Binary file not shown.