Change the default font + other little things
authorGreg Burri <greg.burri@gmail.com>
Tue, 12 May 2020 21:14:42 +0000 (23:14 +0200)
committerGreg Burri <greg.burri@gmail.com>
Tue, 12 May 2020 21:14:42 +0000 (23:14 +0200)
commit3ebbe8172b0430bae5c554925a4582c9fec545f3
tree110801f2924118206879060c6747436d76e4fcc5
parentdcf7523ccf6cae4e7d1d38fcbd85bc0b2d0e1703
Change the default font + other little things
16 files changed:
.gitignore
backend/build.rs [new file with mode: 0644]
backend/src/db.rs
backend/src/main.rs
backend/static/FiraCode-Bold.woff2 [new file with mode: 0644]
backend/static/FiraCode-Light.woff2 [new file with mode: 0644]
backend/static/FiraCode-Medium.woff2 [new file with mode: 0644]
backend/static/FiraCode-Regular.woff2 [new file with mode: 0644]
backend/static/FiraCode-SemiBold.woff2 [new file with mode: 0644]
backend/static/Roobert-Bold.woff2 [deleted file]
backend/static/Roobert-Regular.woff2 [deleted file]
backend/static/Roobert-SemiBold.woff2 [deleted file]
backend/static/style.css [deleted file]
backend/style.scss [new file with mode: 0644]
backend/templates/main.html
deploy.ps1