diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Bold.eot b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Bold.eot deleted file mode 100644 index e661db7..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Bold.eot and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Light.eot b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Light.eot deleted file mode 100644 index 387cb65..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Light.eot and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Medium.eot b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Medium.eot deleted file mode 100644 index 8713972..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Medium.eot and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Regular.eot b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Regular.eot deleted file mode 100644 index cef458e..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Regular.eot and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/fira_code.css b/maubot/management/frontend/public/fonts/FiraCode@1.206/fira_code.css index f8e4a5b..1e872d7 100644 --- a/maubot/management/frontend/public/fonts/FiraCode@1.206/fira_code.css +++ b/maubot/management/frontend/public/fonts/FiraCode@1.206/fira_code.css @@ -1,10 +1,6 @@ @font-face{ font-family: 'Fira Code'; - src: url('eot/FiraCode-Light.eot'); - src: url('eot/FiraCode-Light.eot') format('embedded-opentype'), - url('woff2/FiraCode-Light.woff2') format('woff2'), - url('woff/FiraCode-Light.woff') format('woff'), - url('ttf/FiraCode-Light.ttf') format('truetype'); + src: url('woff2/FiraCode-Light.woff2') format('woff2'); font-weight: 300; font-style: normal; } @@ -12,32 +8,21 @@ @font-face{ font-family: 'Fira Code'; src: url('eot/FiraCode-Regular.eot'); - src: url('eot/FiraCode-Regular.eot') format('embedded-opentype'), - url('woff2/FiraCode-Regular.woff2') format('woff2'), - url('woff/FiraCode-Regular.woff') format('woff'), - url('ttf/FiraCode-Regular.ttf') format('truetype'); + src: url('woff2/FiraCode-Regular.woff2') format('woff2'); font-weight: 400; font-style: normal; } @font-face{ font-family: 'Fira Code'; - src: url('eot/FiraCode-Medium.eot'); - src: url('eot/FiraCode-Medium.eot') format('embedded-opentype'), - url('woff2/FiraCode-Medium.woff2') format('woff2'), - url('woff/FiraCode-Medium.woff') format('woff'), - url('ttf/FiraCode-Medium.ttf') format('truetype'); + src: url('woff2/FiraCode-Medium.woff2') format('woff2'); font-weight: 500; font-style: normal; } @font-face{ font-family: 'Fira Code'; - src: url('eot/FiraCode-Bold.eot'); - src: url('eot/FiraCode-Bold.eot') format('embedded-opentype'), - url('woff2/FiraCode-Bold.woff2') format('woff2'), - url('woff/FiraCode-Bold.woff') format('woff'), - url('ttf/FiraCode-Bold.ttf') format('truetype'); + src: url('woff2/FiraCode-Bold.woff2') format('woff2'), font-weight: 700; font-style: normal; -} \ No newline at end of file +} diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Bold.otf b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Bold.otf deleted file mode 100644 index cea3cbd..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Bold.otf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Light.otf b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Light.otf deleted file mode 100644 index d6bb94b..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Light.otf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Medium.otf b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Medium.otf deleted file mode 100644 index 04bf819..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Medium.otf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Regular.otf b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Regular.otf deleted file mode 100644 index 4770d16..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Regular.otf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Retina.otf b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Retina.otf deleted file mode 100644 index 6316cff..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Retina.otf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/specimen.html b/maubot/management/frontend/public/fonts/FiraCode@1.206/specimen.html deleted file mode 100644 index 4ee2cf9..0000000 --- a/maubot/management/frontend/public/fonts/FiraCode@1.206/specimen.html +++ /dev/null @@ -1,65 +0,0 @@ - - - - - - Fira Code Specimen - - - - - -
# Fira Code Light - -take = (n, [x, ...xs]:list) --> - | n <= 0 => [] - | empty list => [] - | otherwise => [x] ++ take n-1, xs - -last3 = reverse >> take 3 >> reverse
- - -
# Fira Code Regular - -take = (n, [x, ...xs]:list) --> - | n <= 0 => [] - | empty list => [] - | otherwise => [x] ++ take n-1, xs - -last3 = reverse >> take 3 >> reverse
- - -
# Fira Code Medium - -take = (n, [x, ...xs]:list) --> - | n <= 0 => [] - | empty list => [] - | otherwise => [x] ++ take n-1, xs - -last3 = reverse >> take 3 >> reverse
- - -
# Fira Code Bold - -take = (n, [x, ...xs]:list) --> - | n <= 0 => [] - | empty list => [] - | otherwise => [x] ++ take n-1, xs - -last3 = reverse >> take 3 >> reverse
diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Bold.ttf b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Bold.ttf deleted file mode 100644 index 0d78eef..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Bold.ttf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Light.ttf b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Light.ttf deleted file mode 100644 index 18b9e9a..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Light.ttf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Medium.ttf b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Medium.ttf deleted file mode 100644 index d106632..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Medium.ttf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Regular.ttf b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Regular.ttf deleted file mode 100644 index 0fb0817..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Regular.ttf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Retina.ttf b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Retina.ttf deleted file mode 100644 index 5bbb74b..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Retina.ttf and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Bold.woff b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Bold.woff deleted file mode 100644 index dd7abb6..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Bold.woff and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Light.woff b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Light.woff deleted file mode 100644 index 2ecc26d..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Light.woff and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Medium.woff b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Medium.woff deleted file mode 100644 index 0623267..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Medium.woff and /dev/null differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Regular.woff b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Regular.woff deleted file mode 100644 index 5e4106f..0000000 Binary files a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Regular.woff and /dev/null differ