From f73f2356820468344757dbb9d7f3ec73ece7bf66 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Mon, 13 Feb 2023 20:43:51 +0100 Subject: Updating. Signed-off-by: Daniel Baumann --- web/_static/dejavu-fonts/Makefile | 60 +++++++ web/_static/dejavu-fonts/dejavu-fonts.css | 196 +++++++++++++++++++++ web/_static/dejavu-fonts/ttf/DejaVuMathTeXGyre.ttf | Bin 0 -> 577708 bytes web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf | Bin 0 -> 705684 bytes .../dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf | Bin 0 -> 643292 bytes .../dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf | Bin 0 -> 355380 bytes .../dejavu-fonts/ttf/DejaVuSans-Oblique.ttf | Bin 0 -> 635416 bytes web/_static/dejavu-fonts/ttf/DejaVuSans.ttf | Bin 0 -> 757076 bytes .../dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf | Bin 0 -> 665028 bytes .../ttf/DejaVuSansCondensed-BoldOblique.ttf | Bin 0 -> 611836 bytes .../ttf/DejaVuSansCondensed-Oblique.ttf | Bin 0 -> 599292 bytes .../dejavu-fonts/ttf/DejaVuSansCondensed.ttf | Bin 0 -> 680264 bytes .../dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf | Bin 0 -> 331992 bytes .../ttf/DejaVuSansMono-BoldOblique.ttf | Bin 0 -> 253580 bytes .../dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf | Bin 0 -> 251932 bytes web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf | Bin 0 -> 340712 bytes web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf | Bin 0 -> 356088 bytes .../dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf | Bin 0 -> 347460 bytes .../dejavu-fonts/ttf/DejaVuSerif-Italic.ttf | Bin 0 -> 345996 bytes web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf | Bin 0 -> 380132 bytes .../dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf | Bin 0 -> 331244 bytes .../ttf/DejaVuSerifCondensed-BoldItalic.ttf | Bin 0 -> 346508 bytes .../ttf/DejaVuSerifCondensed-Italic.ttf | Bin 0 -> 345324 bytes .../dejavu-fonts/ttf/DejaVuSerifCondensed.ttf | Bin 0 -> 346664 bytes .../dejavu-fonts/woff/DejaVuMathTeXGyre.woff | Bin 0 -> 265472 bytes web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff | Bin 0 -> 348104 bytes .../dejavu-fonts/woff/DejaVuSans-BoldOblique.woff | Bin 0 -> 326700 bytes .../dejavu-fonts/woff/DejaVuSans-ExtraLight.woff | Bin 0 -> 169312 bytes .../dejavu-fonts/woff/DejaVuSans-Oblique.woff | Bin 0 -> 324108 bytes web/_static/dejavu-fonts/woff/DejaVuSans.woff | Bin 0 -> 377212 bytes .../woff/DejaVuSansCondensed-Bold.woff | Bin 0 -> 325388 bytes .../woff/DejaVuSansCondensed-BoldOblique.woff | Bin 0 -> 312868 bytes .../woff/DejaVuSansCondensed-Oblique.woff | Bin 0 -> 306540 bytes .../dejavu-fonts/woff/DejaVuSansCondensed.woff | Bin 0 -> 330536 bytes .../dejavu-fonts/woff/DejaVuSansMono-Bold.woff | Bin 0 -> 198060 bytes .../woff/DejaVuSansMono-BoldOblique.woff | Bin 0 -> 150760 bytes .../dejavu-fonts/woff/DejaVuSansMono-Oblique.woff | Bin 0 -> 149396 bytes web/_static/dejavu-fonts/woff/DejaVuSansMono.woff | Bin 0 -> 200340 bytes .../dejavu-fonts/woff/DejaVuSerif-Bold.woff | Bin 0 -> 193280 bytes .../dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff | Bin 0 -> 194856 bytes .../dejavu-fonts/woff/DejaVuSerif-Italic.woff | Bin 0 -> 193784 bytes web/_static/dejavu-fonts/woff/DejaVuSerif.woff | Bin 0 -> 210524 bytes .../woff/DejaVuSerifCondensed-Bold.woff | Bin 0 -> 177876 bytes .../woff/DejaVuSerifCondensed-BoldItalic.woff | Bin 0 -> 197012 bytes .../woff/DejaVuSerifCondensed-Italic.woff | Bin 0 -> 196020 bytes .../dejavu-fonts/woff/DejaVuSerifCondensed.woff | Bin 0 -> 189692 bytes .../dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 | Bin 0 -> 186724 bytes .../dejavu-fonts/woff2/DejaVuSans-Bold.woff2 | Bin 0 -> 236792 bytes .../woff2/DejaVuSans-BoldOblique.woff2 | Bin 0 -> 227924 bytes .../dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 | Bin 0 -> 79036 bytes .../dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 | Bin 0 -> 227820 bytes web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 | Bin 0 -> 257460 bytes .../woff2/DejaVuSansCondensed-Bold.woff2 | Bin 0 -> 227876 bytes .../woff2/DejaVuSansCondensed-BoldOblique.woff2 | Bin 0 -> 225080 bytes .../woff2/DejaVuSansCondensed-Oblique.woff2 | Bin 0 -> 222456 bytes .../dejavu-fonts/woff2/DejaVuSansCondensed.woff2 | Bin 0 -> 231320 bytes .../dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 | Bin 0 -> 143796 bytes .../woff2/DejaVuSansMono-BoldOblique.woff2 | Bin 0 -> 108228 bytes .../woff2/DejaVuSansMono-Oblique.woff2 | Bin 0 -> 107524 bytes .../dejavu-fonts/woff2/DejaVuSansMono.woff2 | Bin 0 -> 145192 bytes .../dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 | Bin 0 -> 132740 bytes .../woff2/DejaVuSerif-BoldItalic.woff2 | Bin 0 -> 136760 bytes .../dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 | Bin 0 -> 136192 bytes web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 | Bin 0 -> 146864 bytes .../woff2/DejaVuSerifCondensed-Bold.woff2 | Bin 0 -> 126072 bytes .../woff2/DejaVuSerifCondensed-BoldItalic.woff2 | Bin 0 -> 143176 bytes .../woff2/DejaVuSerifCondensed-Italic.woff2 | Bin 0 -> 142732 bytes .../dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 | Bin 0 -> 136228 bytes 68 files changed, 256 insertions(+) create mode 100644 web/_static/dejavu-fonts/Makefile create mode 100644 web/_static/dejavu-fonts/dejavu-fonts.css create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuMathTeXGyre.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSans.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf create mode 100644 web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf create mode 100644 web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSans.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSansMono.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerif.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff create mode 100644 web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 create mode 100644 web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 (limited to 'web/_static/dejavu-fonts') 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 +# +# 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 . + +# 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 +// +// 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 . + +// 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 new file mode 100644 index 0000000..8a24f06 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuMathTeXGyre.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf new file mode 100644 index 0000000..6d65fa7 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSans-Bold.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf new file mode 100644 index 0000000..753f2d8 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSans-BoldOblique.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf new file mode 100644 index 0000000..b09f32d Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSans-ExtraLight.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf new file mode 100644 index 0000000..999bac7 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSans-Oblique.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSans.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSans.ttf new file mode 100644 index 0000000..e5f7eec Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSans.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf new file mode 100644 index 0000000..22987c6 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Bold.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf new file mode 100644 index 0000000..f5fa0ca Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-BoldOblique.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf new file mode 100644 index 0000000..7fde907 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed-Oblique.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf new file mode 100644 index 0000000..3259bc2 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansCondensed.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf new file mode 100644 index 0000000..8184ced Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Bold.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf new file mode 100644 index 0000000..754dca7 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-BoldOblique.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf new file mode 100644 index 0000000..4c858d4 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansMono-Oblique.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf new file mode 100644 index 0000000..f578602 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSansMono.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf new file mode 100644 index 0000000..3bb755f Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Bold.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf new file mode 100644 index 0000000..a36dd4b Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerif-BoldItalic.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf new file mode 100644 index 0000000..805daf2 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerif-Italic.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf new file mode 100644 index 0000000..0b803d2 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerif.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf new file mode 100644 index 0000000..222bf13 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Bold.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf new file mode 100644 index 0000000..e446636 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-BoldItalic.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf new file mode 100644 index 0000000..c529df3 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed-Italic.ttf differ diff --git a/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf new file mode 100644 index 0000000..d3959b3 Binary files /dev/null and b/web/_static/dejavu-fonts/ttf/DejaVuSerifCondensed.ttf differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff b/web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff new file mode 100644 index 0000000..d4f48cd Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuMathTeXGyre.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff new file mode 100644 index 0000000..76c14b0 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSans-Bold.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff new file mode 100644 index 0000000..e2fe5aa Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSans-BoldOblique.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff new file mode 100644 index 0000000..d6d9461 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSans-ExtraLight.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff new file mode 100644 index 0000000..7731f56 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSans-Oblique.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSans.woff b/web/_static/dejavu-fonts/woff/DejaVuSans.woff new file mode 100644 index 0000000..ec29ac6 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSans.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff new file mode 100644 index 0000000..0fcc9ec Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Bold.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff new file mode 100644 index 0000000..ef2c048 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-BoldOblique.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff new file mode 100644 index 0000000..a2c6f3a Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed-Oblique.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff new file mode 100644 index 0000000..744ab17 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansCondensed.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff new file mode 100644 index 0000000..20b681b Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Bold.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff new file mode 100644 index 0000000..86ca700 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansMono-BoldOblique.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff new file mode 100644 index 0000000..f75742f Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansMono-Oblique.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSansMono.woff b/web/_static/dejavu-fonts/woff/DejaVuSansMono.woff new file mode 100644 index 0000000..ecbec92 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSansMono.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff new file mode 100644 index 0000000..d564249 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerif-Bold.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff new file mode 100644 index 0000000..760ce0d Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerif-BoldItalic.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff new file mode 100644 index 0000000..3f3d8da Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerif-Italic.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerif.woff b/web/_static/dejavu-fonts/woff/DejaVuSerif.woff new file mode 100644 index 0000000..d53ea7b Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerif.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff new file mode 100644 index 0000000..76d9462 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Bold.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff new file mode 100644 index 0000000..2d71a2a Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-BoldItalic.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff new file mode 100644 index 0000000..d0fbe3f Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed-Italic.woff differ diff --git a/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff new file mode 100644 index 0000000..e520a60 Binary files /dev/null and b/web/_static/dejavu-fonts/woff/DejaVuSerifCondensed.woff differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 new file mode 100644 index 0000000..c1639eb Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuMathTeXGyre.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 new file mode 100644 index 0000000..373095f Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSans-Bold.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 new file mode 100644 index 0000000..8f6b20e Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSans-BoldOblique.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 new file mode 100644 index 0000000..bceb184 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSans-ExtraLight.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 new file mode 100644 index 0000000..d0feb2b Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSans-Oblique.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 new file mode 100644 index 0000000..8437d4e Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSans.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 new file mode 100644 index 0000000..0dda5e2 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Bold.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 new file mode 100644 index 0000000..0b39a3d Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-BoldOblique.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 new file mode 100644 index 0000000..7bb8104 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed-Oblique.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 new file mode 100644 index 0000000..80ff661 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansCondensed.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 new file mode 100644 index 0000000..f2b469a Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Bold.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 new file mode 100644 index 0000000..c28f910 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-BoldOblique.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 new file mode 100644 index 0000000..2631692 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansMono-Oblique.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 new file mode 100644 index 0000000..cf200e1 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSansMono.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 new file mode 100644 index 0000000..655ac56 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Bold.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 new file mode 100644 index 0000000..9968a8b Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerif-BoldItalic.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 new file mode 100644 index 0000000..4dec967 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerif-Italic.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 new file mode 100644 index 0000000..238566d Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerif.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 new file mode 100644 index 0000000..5874900 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Bold.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 new file mode 100644 index 0000000..36f7022 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-BoldItalic.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 new file mode 100644 index 0000000..30345e8 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed-Italic.woff2 differ diff --git a/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 new file mode 100644 index 0000000..38ac5d8 Binary files /dev/null and b/web/_static/dejavu-fonts/woff2/DejaVuSerifCondensed.woff2 differ -- cgit v1.2.3