hodapp/blag
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Mass rename/move to get rid of Haskell stuff

Browse Source
This commit is contained in:
Chris Hodapp
2020-04-11 22:25:33 -04:00
parent 9bd5a8ff13
commit 0aabd0267d
412 changed files with 36 additions and 10590 deletions
Download Patch File Download Diff File Expand all files Collapse all files

72
themes/indigo/static/css/fonts.css Normal file
View File

@@ -0,0 +1,72 @@
@font-face {
font-family: 'Fira Code';
src: url('../fonts/FiraCode-Regular.eot');
src: url('../fonts/FiraCode-Regular.eot?#iefix') format('embedded-opentype'),
url('../fonts/FiraCode-Regular.woff2') format('woff2'),
url('../fonts/FiraCode-Regular.woff') format('woff'),
url('../fonts/FiraCode-Regular.ttf') format('truetype');
font-weight: 400;
font-style: normal;
font-display: fallback;
}
@font-face {
font-family: 'Charter';
src: url('../fonts/charter_regular-webfont.eot');
src: url('../fonts/charter_regular-webfont.eot?#iefix') format('embedded-opentype'),
url('../fonts/charter_regular-webfont.woff') format('woff'),
url('../fonts/charter_regular-webfont.ttf') format('truetype');
font-display: fallback;
}
@font-face {
font-family: 'Charter';
src: url('../fonts/charter_bold-webfont.eot');
src: url('../fonts/charter_bold-webfont.eot?#iefix') format('embedded-opentype'),
url('../fonts/charter_bold-webfont.woff') format('woff'),
url('../fonts/charter_bold-webfont.ttf') format('truetype');
font-weight: bold;
font-display: fallback;
}
@font-face {
font-family: 'Charter';
src: url('../fonts/charter_italic-webfont.eot');
src: url('../fonts/charter_italic-webfont.eot?#iefix') format('embedded-opentype'),
url('../fonts/charter_italic-webfont.woff') format('woff'),
url('../fonts/charter_italic-webfont.ttf') format('truetype');
font-style: italic;
font-display: fallback;
}
@font-face {
font-family: 'Charter';
src: url('../fonts/charter_bold_italic-webfont.eot');
src: url('../fonts/charter_bold_italic-webfont.eot?#iefix') format('embedded-opentype'),
url('../fonts/charter_bold_italic-webfont.woff') format('woff'),
url('../fonts/charter_bold_italic-webfont.ttf') format('truetype');
font-style: italic;
font-weight: bold;
font-display: fallback;
}
@font-face {
font-family: 'Fira Sans';
src: url('../fonts/FiraSans-Book.eot');
src: url('../fonts/FiraSans-Book.eot?#iefix') format('embedded-opentype'),
url('../fonts/FiraSans-Book.woff2') format('woff2'),
url('../fonts/FiraSans-Book.woff') format('woff'),
url('../fonts/FiraSans-Book.ttf') format('truetype');
font-display: fallback;
}
@font-face {
font-family: 'Fira Sans';
src: url('../fonts/FiraSans-Bold.eot');
src: url('../fonts/FiraSans-Bold.eot?#iefix') format('embedded-opentype'),
url('../fonts/FiraSans-Bold.woff2') format('woff2'),
url('../fonts/FiraSans-Bold.woff') format('woff'),
url('../fonts/FiraSans-Bold.ttf') format('truetype');
font-weight: bold;
font-display: fallback;
}