diff options
Diffstat (limited to 'web/_static/dejavu-fonts')
68 files changed, 256 insertions, 0 deletions
diff --git a/web/_static/dejavu-fonts/Makefile b/web/_static/dejavu-fonts/Makefile new file mode 100644 index 0000000..31d7ab8 --- /dev/null +++ b/web/_static/dejavu-fonts/Makefile @@ -0,0 +1,60 @@ +# Makefile + +# Copyright (C) 2013-2021 Daniel Baumann <daniel@debian.org> +# +# SPDX-License-Identifier: GPL-3.0+ +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +# Depends: +# woff-tools +# woff2 + +all: woff woff2 + +woff: ttf/*.ttf + @echo -n "Creating woff files... " + @rm -rf woff ttf/*.woff + + @for FILE in ttf/*.ttf; \ + do \ + echo -n "."; \ + sfnt2woff $${FILE}; \ + done + + @mkdir woff + @mv ttf/*.woff woff + @echo " done." + +woff2: ttf/*.ttf + @echo -n "Creating woff2 files... " + @rm -rf woff2 ttf/*.woff2 + + @for FILE in ttf/*.ttf; \ + do \ + echo -n "."; \ + woff2_compress $${FILE} > /dev/null 2>&1; \ + done + + @mkdir woff2 + @mv ttf/*.woff2 woff2 + @echo " done." + +clean: + @for FORMAT in woff woff2; \ + do \ + echo -n "Removing $${FORMAT} files..."; \ + rm -rf $${FORMAT} ttf/*.$${FORMAT}; \ + echo " done."; \ + done diff --git a/web/_static/dejavu-fonts/dejavu-fonts.css b/web/_static/dejavu-fonts/dejavu-fonts.css new file mode 100644 index 0000000..6edcb37 --- /dev/null +++ b/web/_static/dejavu-fonts/dejavu-fonts.css @@ -0,0 +1,196 @@ +// dejavu-fonts.css + +// Copyright (C) 2013-2021 Daniel Baumann <daniel@debian.org> +// +// SPDX-License-Identifier: GPL-3.0+ +// +// This program is free software: you can redistribute it and/or modify +// it under the terms of the GNU General Public License as published by +// the Free Software Foundation, either version 3 of the License, or +// (at your option) any later version. +// +// This program is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. +// +// You should have received a copy of the GNU General Public License +// along with this program. If not, see <http://www.gnu.org/licenses/>. + +// DejaVu Sans +@font-face { + font-family: 'DejaVuSans'; + src: url('woff2/DejaVuSans-BoldOblique.woff2') format('woff2'), + url('woff/DejaVuSans-BoldOblique.woff') format('woff'), + url('ttf/DejaVuSans-BoldOblique.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('woff2/DejaVuSans-Oblique.woff2') format('woff2'), + url('woff/DejaVuSans-Oblique.woff') format('woff'), + url('ttf/DejaVuSans-Oblique.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('woff2/DejaVuSans-Bold.woff2') format('woff2'), + url('woff/DejaVuSans-Bold.woff') format('woff'), + url('ttf/DejaVuSans-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('woff2/DejaVuSans-ExtraLight.woff2') format('woff2'), + url('woff/DejaVuSans-ExtraLight.woff') format('woff'), + url('ttf/DejaVuSans-ExtraLight.ttf') format('truetype'); + font-weight: lighter; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('woff2/DejaVuSans.woff2') format('woff2'), + url('woff/DejaVuSans.woff') format('woff'), + url('ttf/DejaVuSans.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +// DejaVu Sans Condensed +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('woff2/DejaVuSansCondensed-BoldOblique.woff2') format('woff2'), + url('woff/DejaVuSansCondensed-BoldOblique.woff') format('woff'), + url('ttf/DejaVuSansCondensed-BoldOblique.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('woff2/DejaVuSansCondensed-Oblique.woff2') format('woff2'), + url('woff/DejaVuSansCondensed-Oblique.woff') format('woff'), + url('ttf/DejaVuSansCondensed-Oblique.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('woff2/DejaVuSansCondensed-Bold.woff2') format('woff2'), + url('woff/DejaVuSansCondensed-Bold.woff') format('woff'), + url('ttf/DejaVuSansCondensed-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('woff2/DejaVuSansCondensed.woff2') format('woff2'), + url('woff/DejaVuSansCondensed.woff') format('woff'), + url('ttf/DejaVuSansCondensed.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +// DejaVu Sans Mono +@font-face { + font-family: 'DejaVuSansMono'; + src: url('woff2/DejaVuSansMono-BoldOblique.woff2') format('woff2'), + url('woff/DejaVuSansMono-BoldOblique.woff') format('woff'), + url('ttf/DejaVuSansMono-BoldOblique.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansMono'; + src: url('woff2/DejaVuSansMono-Oblique.woff2') format('woff2'), + url('woff/DejaVuSansMono-Oblique.woff') format('woff'), + url('ttf/DejaVuSansMono-Oblique.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansMono'; + src: url('woff2/DejaVuSansMono-Bold.woff2') format('woff2'), + url('woff/DejaVuSansMono-Bold.woff') format('woff'), + url('ttf/DejaVuSansMono-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSansMono'; + src: url('woff2/DejaVuSansMono.woff2') format('woff2'), + url('woff/DejaVuSansMono.woff') format('woff'), + url('ttf/DejaVuSansMono.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +// DejaVu Serif +@font-face { + font-family: 'DejaVuSerif'; + src: url('woff2/DejaVuSerif-BoldItalic.woff2') format('woff2'), + url('woff/DejaVuSerif-BoldItalic.woff') format('woff'), + url('ttf/DejaVuSerif-BoldItalic.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerif'; + src: url('woff2/DejaVuSerif-Italic.woff2') format('woff2'), + url('woff/DejaVuSerif-Italic.woff') format('woff'), + url('ttf/DejaVuSerif-Italic.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerif'; + src: url('woff2/DejaVuSerif-Bold.woff2') format('woff2'), + url('woff/DejaVuSerif-Bold.woff') format('woff'), + url('ttf/DejaVuSerif-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSerif'; + src: url('woff2/DejaVuSerif.woff2') format('woff2'), + url('woff/DejaVuSerif.woff') format('woff'), + url('ttf/DejaVuSerif.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +// DejaVu Serif Condensed +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('woff2/DejaVuSerifCondensed-BoldItalic.woff2') format('woff2'), + url('woff/DejaVuSerifCondensed-BoldItalic.woff') format('woff'), + url('ttf/DejaVuSerifCondensed-BoldItalic.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('woff2/DejaVuSerifCondensed-Italic.woff2') format('woff2'), + url('woff/DejaVuSerifCondensed-Italic.woff') format('woff'), + url('ttf/DejaVuSerifCondensed-Italic.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('woff2/DejaVuSerifCondensed-Bold.woff2') format('woff2'), + url('woff/DejaVuSerifCondensed-Bold.woff') format('woff'), + url('ttf/DejaVuSerifCondensed-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('woff2/DejaVuSerifCondensed.woff2') format('woff2'), + url('woff/DejaVuSerifCondensed.woff') format('woff'), + url('ttf/DejaVuSerifCondensed.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} diff --git a/web/_static/dejavu-fonts/ttf/DejaVuMathTeXGyre.ttf b/web/_static/dejavu-fonts/ttf/DejaVuMathTeXGyre.ttf Binary files differnew file mode 100644 index 0000000..8a24f06 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuMathTeXGyre.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf Binary files differnew file mode 100644 index 0000000..6d65fa7 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf Binary files differnew file mode 100644 index 0000000..753f2d8 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf Binary files differnew file mode 100644 index 0000000..b09f32d --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf Binary files differnew file mode 100644 index 0000000..999bac7 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans.ttf Binary files differnew file mode 100644 index 0000000..e5f7eec --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSans.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf Binary files differnew file mode 100644 index 0000000..22987c6 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf Binary files differnew file mode 100644 index 0000000..f5fa0ca --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf Binary files differnew file mode 100644 index 0000000..7fde907 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf Binary files differnew file mode 100644 index 0000000..3259bc2 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf Binary files differnew file mode 100644 index 0000000..8184ced --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf Binary files differnew file mode 100644 index 0000000..754dca7 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf Binary files differnew file mode 100644 index 0000000..4c858d4 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf Binary files differnew file mode 100644 index 0000000..f578602 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf Binary files differnew file mode 100644 index 0000000..3bb755f --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf Binary files differnew file mode 100644 index 0000000..a36dd4b --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf Binary files differnew file mode 100644 index 0000000..805daf2 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf Binary files differnew file mode 100644 index 0000000..0b803d2 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf Binary files differnew file mode 100644 index 0000000..222bf13 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf Binary files differnew file mode 100644 index 0000000..e446636 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf Binary files differnew file mode 100644 index 0000000..c529df3 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf Binary files differnew file mode 100644 index 0000000..d3959b3 --- /dev/null +++ b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf diff --git a/web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff b/web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff Binary files differnew file mode 100644 index 0000000..d4f48cd --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff Binary files differnew file mode 100644 index 0000000..76c14b0 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff Binary files differnew file mode 100644 index 0000000..e2fe5aa --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff Binary files differnew file mode 100644 index 0000000..d6d9461 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff Binary files differnew file mode 100644 index 0000000..7731f56 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans.woff b/web/_static/dejavu-fonts/woff/DejaVuSans.woff Binary files differnew file mode 100644 index 0000000..ec29ac6 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSans.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff Binary files differnew file mode 100644 index 0000000..0fcc9ec --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff Binary files differnew file mode 100644 index 0000000..ef2c048 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff Binary files differnew file mode 100644 index 0000000..a2c6f3a --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff Binary files differnew file mode 100644 index 0000000..744ab17 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff Binary files differnew file mode 100644 index 0000000..20b681b --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff Binary files differnew file mode 100644 index 0000000..86ca700 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff Binary files differnew file mode 100644 index 0000000..f75742f --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono.woff Binary files differnew file mode 100644 index 0000000..ecbec92 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSansMono.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff Binary files differnew file mode 100644 index 0000000..d564249 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff Binary files differnew file mode 100644 index 0000000..760ce0d --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff Binary files differnew file mode 100644 index 0000000..3f3d8da --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif.woff Binary files differnew file mode 100644 index 0000000..d53ea7b --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerif.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff Binary files differnew file mode 100644 index 0000000..76d9462 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff Binary files differnew file mode 100644 index 0000000..2d71a2a --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff Binary files differnew file mode 100644 index 0000000..d0fbe3f --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff Binary files differnew file mode 100644 index 0000000..e520a60 --- /dev/null +++ b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff diff --git a/web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 Binary files differnew file mode 100644 index 0000000..c1639eb --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 Binary files differnew file mode 100644 index 0000000..373095f --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 Binary files differnew file mode 100644 index 0000000..8f6b20e --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 Binary files differnew file mode 100644 index 0000000..bceb184 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 Binary files differnew file mode 100644 index 0000000..d0feb2b --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 Binary files differnew file mode 100644 index 0000000..8437d4e --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 Binary files differnew file mode 100644 index 0000000..0dda5e2 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 Binary files differnew file mode 100644 index 0000000..0b39a3d --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 Binary files differnew file mode 100644 index 0000000..7bb8104 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 Binary files differnew file mode 100644 index 0000000..80ff661 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 Binary files differnew file mode 100644 index 0000000..f2b469a --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 Binary files differnew file mode 100644 index 0000000..c28f910 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 Binary files differnew file mode 100644 index 0000000..2631692 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 Binary files differnew file mode 100644 index 0000000..cf200e1 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 Binary files differnew file mode 100644 index 0000000..655ac56 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 Binary files differnew file mode 100644 index 0000000..9968a8b --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 Binary files differnew file mode 100644 index 0000000..4dec967 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 Binary files differnew file mode 100644 index 0000000..238566d --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 Binary files differnew file mode 100644 index 0000000..5874900 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 Binary files differnew file mode 100644 index 0000000..36f7022 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 Binary files differnew file mode 100644 index 0000000..30345e8 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 Binary files differnew file mode 100644 index 0000000..38ac5d8 --- /dev/null +++ b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 |