From dcd887a1631bd29e581ead60effd27342065cb4e Mon Sep 17 00:00:00 2001 From: Carlos Sosa Date: Sun, 25 Aug 2019 00:35:43 -0700 Subject: Added the fonts directory and stylesheet --- css/fonts.css | 4 - css/notebook.css | 0 fonts/ebgaramond-webfont.eot | Bin 0 -> 40223 bytes fonts/ebgaramond-webfont.svg | 259 +++++++++++++++++++++++++++++++++++++++++ fonts/ebgaramond-webfont.ttf | Bin 0 -> 83452 bytes fonts/ebgaramond-webfont.woff | Bin 0 -> 44948 bytes fonts/ebgaramond-webfont.woff2 | Bin 0 -> 36144 bytes fonts/stylesheet.css | 16 +++ src/site.hs | 4 + 9 files changed, 279 insertions(+), 4 deletions(-) delete mode 100755 css/fonts.css mode change 100755 => 100644 css/notebook.css create mode 100644 fonts/ebgaramond-webfont.eot create mode 100644 fonts/ebgaramond-webfont.svg create mode 100644 fonts/ebgaramond-webfont.ttf create mode 100644 fonts/ebgaramond-webfont.woff create mode 100644 fonts/ebgaramond-webfont.woff2 create mode 100644 fonts/stylesheet.css diff --git a/css/fonts.css b/css/fonts.css deleted file mode 100755 index eddce04..0000000 --- a/css/fonts.css +++ /dev/null @@ -1,4 +0,0 @@ -@font-face { - font-family: 'EB Garamond'; - src: url('fonts/EBGaramond.otf'); -} diff --git a/css/notebook.css b/css/notebook.css old mode 100755 new mode 100644 diff --git a/fonts/ebgaramond-webfont.eot b/fonts/ebgaramond-webfont.eot new file mode 100644 index 0000000..8d8552e Binary files /dev/null and b/fonts/ebgaramond-webfont.eot differ diff --git a/fonts/ebgaramond-webfont.svg b/fonts/ebgaramond-webfont.svg new file mode 100644 index 0000000..56ed8e9 --- /dev/null +++ b/fonts/ebgaramond-webfont.svg @@ -0,0 +1,259 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/fonts/ebgaramond-webfont.ttf b/fonts/ebgaramond-webfont.ttf new file mode 100644 index 0000000..64bec4d Binary files /dev/null and b/fonts/ebgaramond-webfont.ttf differ diff --git a/fonts/ebgaramond-webfont.woff b/fonts/ebgaramond-webfont.woff new file mode 100644 index 0000000..91ef0d9 Binary files /dev/null and b/fonts/ebgaramond-webfont.woff differ diff --git a/fonts/ebgaramond-webfont.woff2 b/fonts/ebgaramond-webfont.woff2 new file mode 100644 index 0000000..87bd869 Binary files /dev/null and b/fonts/ebgaramond-webfont.woff2 differ diff --git a/fonts/stylesheet.css b/fonts/stylesheet.css new file mode 100644 index 0000000..3e41a47 --- /dev/null +++ b/fonts/stylesheet.css @@ -0,0 +1,16 @@ +/* Generated by Font Squirrel (http://www.fontsquirrel.com) on October 1, 2014 */ + + + +@font-face { + font-family: 'eb_garamondregular'; + src: url('ebgaramond-webfont.eot'); + src: url('ebgaramond-webfont.eot?#iefix') format('embedded-opentype'), + url('ebgaramond-webfont.woff2') format('woff2'), + url('ebgaramond-webfont.woff') format('woff'), + url('ebgaramond-webfont.ttf') format('truetype'), + url('ebgaramond-webfont.svg#eb_garamondregular') format('svg'); + font-weight: normal; + font-style: normal; + +} \ No newline at end of file diff --git a/src/site.hs b/src/site.hs index be4af68..2eaec9f 100644 --- a/src/site.hs +++ b/src/site.hs @@ -14,6 +14,10 @@ main = hakyll $ do route idRoute compile copyFileCompiler + match "fonts/*" $ do + route idRoute + compile copyFileCompiler + match "css/*" $ do route idRoute compile compressCssCompiler -- cgit v1.3-2-g0d8e