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 new file mode 100644 index 0000000..e661db7 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Bold.eot 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 new file mode 100644 index 0000000..387cb65 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Light.eot 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 new file mode 100644 index 0000000..8713972 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Medium.eot 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 new file mode 100644 index 0000000..cef458e Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/eot/FiraCode-Regular.eot 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 new file mode 100644 index 0000000..f8e4a5b --- /dev/null +++ b/maubot/management/frontend/public/fonts/FiraCode@1.206/fira_code.css @@ -0,0 +1,43 @@ +@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'); + font-weight: 300; + font-style: normal; +} + +@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'); + 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'); + 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'); + 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 new file mode 100644 index 0000000..cea3cbd Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Bold.otf 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 new file mode 100644 index 0000000..d6bb94b Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Light.otf 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 new file mode 100644 index 0000000..04bf819 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Medium.otf 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 new file mode 100644 index 0000000..4770d16 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Regular.otf 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 new file mode 100644 index 0000000..6316cff Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/otf/FiraCode-Retina.otf 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 new file mode 100644 index 0000000..4ee2cf9 --- /dev/null +++ b/maubot/management/frontend/public/fonts/FiraCode@1.206/specimen.html @@ -0,0 +1,65 @@ + + + + + + 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 new file mode 100644 index 0000000..0d78eef Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Bold.ttf 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 new file mode 100644 index 0000000..18b9e9a Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Light.ttf 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 new file mode 100644 index 0000000..d106632 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Medium.ttf 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 new file mode 100644 index 0000000..0fb0817 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Regular.ttf 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 new file mode 100644 index 0000000..5bbb74b Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/ttf/FiraCode-Retina.ttf 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 new file mode 100644 index 0000000..dd7abb6 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Bold.woff 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 new file mode 100644 index 0000000..2ecc26d Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Light.woff 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 new file mode 100644 index 0000000..0623267 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Medium.woff 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 new file mode 100644 index 0000000..5e4106f Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff/FiraCode-Regular.woff differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Bold.woff2 b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Bold.woff2 new file mode 100644 index 0000000..5151301 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Bold.woff2 differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Light.woff2 b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Light.woff2 new file mode 100644 index 0000000..82c9850 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Light.woff2 differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Medium.woff2 b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Medium.woff2 new file mode 100644 index 0000000..8f58744 Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Medium.woff2 differ diff --git a/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Regular.woff2 b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Regular.woff2 new file mode 100644 index 0000000..df544dc Binary files /dev/null and b/maubot/management/frontend/public/fonts/FiraCode@1.206/woff2/FiraCode-Regular.woff2 differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.eot b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.eot new file mode 100644 index 0000000..6c68a79 Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.eot differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.svg b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.svg new file mode 100644 index 0000000..a87138b --- /dev/null +++ b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.svg @@ -0,0 +1,347 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.ttf b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.ttf new file mode 100644 index 0000000..3fffdb9 Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.ttf differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.woff b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.woff new file mode 100644 index 0000000..f886a6c Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.woff differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.woff2 b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.woff2 new file mode 100644 index 0000000..ec2c94f Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-300.woff2 differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.eot b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.eot new file mode 100644 index 0000000..f37ca0f Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.eot differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.svg b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.svg new file mode 100644 index 0000000..0d68238 --- /dev/null +++ b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.svg @@ -0,0 +1,343 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.ttf b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.ttf new file mode 100644 index 0000000..8f38464 Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.ttf differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.woff b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.woff new file mode 100644 index 0000000..d89a0a2 Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.woff differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.woff2 b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.woff2 new file mode 100644 index 0000000..0220642 Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-700.woff2 differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.eot b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.eot new file mode 100644 index 0000000..84de35b Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.eot differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.svg b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.svg new file mode 100644 index 0000000..3587070 --- /dev/null +++ b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.svg @@ -0,0 +1,347 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.ttf b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.ttf new file mode 100644 index 0000000..03b5a21 Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.ttf differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.woff b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.woff new file mode 100644 index 0000000..ab3a51b Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.woff differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.woff2 b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.woff2 new file mode 100644 index 0000000..86b505e Binary files /dev/null and b/maubot/management/frontend/public/fonts/raleway/raleway-v13-latin-regular.woff2 differ diff --git a/maubot/management/frontend/public/fonts/raleway/raleway.css b/maubot/management/frontend/public/fonts/raleway/raleway.css new file mode 100644 index 0000000..211396b --- /dev/null +++ b/maubot/management/frontend/public/fonts/raleway/raleway.css @@ -0,0 +1,41 @@ +/* raleway-300 - latin */ +@font-face { + font-family: 'Raleway'; + font-style: normal; + font-weight: 300; + src: url('raleway-v13-latin-300.eot'); /* IE9 Compat Modes */ + src: local('Raleway Light'), local('Raleway-Light'), + url('raleway-v13-latin-300.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ + url('raleway-v13-latin-300.woff2') format('woff2'), /* Super Modern Browsers */ + url('raleway-v13-latin-300.woff') format('woff'), /* Modern Browsers */ + url('raleway-v13-latin-300.ttf') format('truetype'), /* Safari, Android, iOS */ + url('raleway-v13-latin-300.svg#Raleway') format('svg'); /* Legacy iOS */ +} + +/* raleway-regular - latin */ +@font-face { + font-family: 'Raleway'; + font-style: normal; + font-weight: 400; + src: url('raleway-v13-latin-regular.eot'); /* IE9 Compat Modes */ + src: local('Raleway'), local('Raleway-Regular'), + url('raleway-v13-latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ + url('raleway-v13-latin-regular.woff2') format('woff2'), /* Super Modern Browsers */ + url('raleway-v13-latin-regular.woff') format('woff'), /* Modern Browsers */ + url('raleway-v13-latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */ + url('raleway-v13-latin-regular.svg#Raleway') format('svg'); /* Legacy iOS */ +} + +/* raleway-700 - latin */ +@font-face { + font-family: 'Raleway'; + font-style: normal; + font-weight: 700; + src: url('raleway-v13-latin-700.eot'); /* IE9 Compat Modes */ + src: local('Raleway Bold'), local('Raleway-Bold'), + url('raleway-v13-latin-700.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */ + url('raleway-v13-latin-700.woff2') format('woff2'), /* Super Modern Browsers */ + url('raleway-v13-latin-700.woff') format('woff'), /* Modern Browsers */ + url('raleway-v13-latin-700.ttf') format('truetype'), /* Safari, Android, iOS */ + url('raleway-v13-latin-700.svg#Raleway') format('svg'); /* Legacy iOS */ +} diff --git a/maubot/management/frontend/public/index.html b/maubot/management/frontend/public/index.html index 886ebf5..fd11c6b 100644 --- a/maubot/management/frontend/public/index.html +++ b/maubot/management/frontend/public/index.html @@ -21,9 +21,9 @@ along with this program. If not, see . + href="%PUBLIC_URL%/fonts/raleway/raleway.css"> + href="%PUBLIC_URL%/fonts/FiraCode@1.206/fira_code.css">