From e7de04494b70ca62ac1abda7f9a3ef41994f4f51 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 14 Oct 2021 16:59:23 +0200 Subject: Adding web-tools (WIP). Signed-off-by: Daniel Baumann --- .../web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf | Bin 0 -> 577708 bytes .../_static/dejavu-fonts/DejaVuMathTeXGyre.woff | Bin 0 -> 265472 bytes .../_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 | Bin 0 -> 186728 bytes .../web/_static/dejavu-fonts/DejaVuSans-Bold.ttf | Bin 0 -> 705684 bytes .../web/_static/dejavu-fonts/DejaVuSans-Bold.woff | Bin 0 -> 348104 bytes .../web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 | Bin 0 -> 236792 bytes .../dejavu-fonts/DejaVuSans-BoldOblique.ttf | Bin 0 -> 643292 bytes .../dejavu-fonts/DejaVuSans-BoldOblique.woff | Bin 0 -> 326700 bytes .../dejavu-fonts/DejaVuSans-BoldOblique.woff2 | Bin 0 -> 227924 bytes .../_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf | Bin 0 -> 355380 bytes .../dejavu-fonts/DejaVuSans-ExtraLight.woff | Bin 0 -> 169312 bytes .../dejavu-fonts/DejaVuSans-ExtraLight.woff2 | Bin 0 -> 79036 bytes .../_static/dejavu-fonts/DejaVuSans-Oblique.ttf | Bin 0 -> 635416 bytes .../_static/dejavu-fonts/DejaVuSans-Oblique.woff | Bin 0 -> 324108 bytes .../_static/dejavu-fonts/DejaVuSans-Oblique.woff2 | Bin 0 -> 227820 bytes web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf | Bin 0 -> 757076 bytes web-tools/web/_static/dejavu-fonts/DejaVuSans.woff | Bin 0 -> 377212 bytes .../web/_static/dejavu-fonts/DejaVuSans.woff2 | Bin 0 -> 257460 bytes .../dejavu-fonts/DejaVuSansCondensed-Bold.ttf | Bin 0 -> 665028 bytes .../dejavu-fonts/DejaVuSansCondensed-Bold.woff | Bin 0 -> 325388 bytes .../dejavu-fonts/DejaVuSansCondensed-Bold.woff2 | Bin 0 -> 227876 bytes .../DejaVuSansCondensed-BoldOblique.ttf | Bin 0 -> 611836 bytes .../DejaVuSansCondensed-BoldOblique.woff | Bin 0 -> 312868 bytes .../DejaVuSansCondensed-BoldOblique.woff2 | Bin 0 -> 225080 bytes .../dejavu-fonts/DejaVuSansCondensed-Oblique.ttf | Bin 0 -> 599292 bytes .../dejavu-fonts/DejaVuSansCondensed-Oblique.woff | Bin 0 -> 306540 bytes .../dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 | Bin 0 -> 222456 bytes .../_static/dejavu-fonts/DejaVuSansCondensed.ttf | Bin 0 -> 680264 bytes .../_static/dejavu-fonts/DejaVuSansCondensed.woff | Bin 0 -> 330536 bytes .../_static/dejavu-fonts/DejaVuSansCondensed.woff2 | Bin 0 -> 231320 bytes .../_static/dejavu-fonts/DejaVuSansMono-Bold.ttf | Bin 0 -> 331992 bytes .../_static/dejavu-fonts/DejaVuSansMono-Bold.woff | Bin 0 -> 198060 bytes .../_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 | Bin 0 -> 143796 bytes .../dejavu-fonts/DejaVuSansMono-BoldOblique.ttf | Bin 0 -> 253580 bytes .../dejavu-fonts/DejaVuSansMono-BoldOblique.woff | Bin 0 -> 150760 bytes .../dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 | Bin 0 -> 108228 bytes .../dejavu-fonts/DejaVuSansMono-Oblique.ttf | Bin 0 -> 251932 bytes .../dejavu-fonts/DejaVuSansMono-Oblique.woff | Bin 0 -> 149396 bytes .../dejavu-fonts/DejaVuSansMono-Oblique.woff2 | Bin 0 -> 107524 bytes .../web/_static/dejavu-fonts/DejaVuSansMono.ttf | Bin 0 -> 340712 bytes .../web/_static/dejavu-fonts/DejaVuSansMono.woff | Bin 0 -> 200340 bytes .../web/_static/dejavu-fonts/DejaVuSansMono.woff2 | Bin 0 -> 145192 bytes .../web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf | Bin 0 -> 356088 bytes .../web/_static/dejavu-fonts/DejaVuSerif-Bold.woff | Bin 0 -> 193280 bytes .../_static/dejavu-fonts/DejaVuSerif-Bold.woff2 | Bin 0 -> 132740 bytes .../dejavu-fonts/DejaVuSerif-BoldItalic.ttf | Bin 0 -> 347460 bytes .../dejavu-fonts/DejaVuSerif-BoldItalic.woff | Bin 0 -> 194856 bytes .../dejavu-fonts/DejaVuSerif-BoldItalic.woff2 | Bin 0 -> 136760 bytes .../_static/dejavu-fonts/DejaVuSerif-Italic.ttf | Bin 0 -> 345996 bytes .../_static/dejavu-fonts/DejaVuSerif-Italic.woff | Bin 0 -> 193784 bytes .../_static/dejavu-fonts/DejaVuSerif-Italic.woff2 | Bin 0 -> 136192 bytes web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf | Bin 0 -> 380132 bytes .../web/_static/dejavu-fonts/DejaVuSerif.woff | Bin 0 -> 210524 bytes .../web/_static/dejavu-fonts/DejaVuSerif.woff2 | Bin 0 -> 146864 bytes .../dejavu-fonts/DejaVuSerifCondensed-Bold.ttf | Bin 0 -> 331244 bytes .../dejavu-fonts/DejaVuSerifCondensed-Bold.woff | Bin 0 -> 177876 bytes .../dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 | Bin 0 -> 126072 bytes .../DejaVuSerifCondensed-BoldItalic.ttf | Bin 0 -> 346508 bytes .../DejaVuSerifCondensed-BoldItalic.woff | Bin 0 -> 197012 bytes .../DejaVuSerifCondensed-BoldItalic.woff2 | Bin 0 -> 143176 bytes .../dejavu-fonts/DejaVuSerifCondensed-Italic.ttf | Bin 0 -> 345324 bytes .../dejavu-fonts/DejaVuSerifCondensed-Italic.woff | Bin 0 -> 196020 bytes .../dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 | Bin 0 -> 142732 bytes .../_static/dejavu-fonts/DejaVuSerifCondensed.ttf | Bin 0 -> 346664 bytes .../_static/dejavu-fonts/DejaVuSerifCondensed.woff | Bin 0 -> 189692 bytes .../dejavu-fonts/DejaVuSerifCondensed.woff2 | Bin 0 -> 136228 bytes web-tools/web/_static/dejavu-fonts/Makefile | 20 +++ .../web/_static/dejavu-fonts/dejavu-fonts.css | 172 +++++++++++++++++++++ 68 files changed, 192 insertions(+) create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff create mode 100644 web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 create mode 100644 web-tools/web/_static/dejavu-fonts/Makefile create mode 100644 web-tools/web/_static/dejavu-fonts/dejavu-fonts.css (limited to 'web-tools/web/_static/dejavu-fonts') diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf new file mode 100644 index 0000000..8a24f06 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff new file mode 100644 index 0000000..d4f48cd Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 new file mode 100644 index 0000000..a6d5497 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf new file mode 100644 index 0000000..6d65fa7 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff new file mode 100644 index 0000000..76c14b0 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 new file mode 100644 index 0000000..373095f Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf new file mode 100644 index 0000000..753f2d8 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff new file mode 100644 index 0000000..e2fe5aa Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 new file mode 100644 index 0000000..8f6b20e Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf new file mode 100644 index 0000000..b09f32d Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff new file mode 100644 index 0000000..d6d9461 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 new file mode 100644 index 0000000..bceb184 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf new file mode 100644 index 0000000..999bac7 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff new file mode 100644 index 0000000..7731f56 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 new file mode 100644 index 0000000..d0feb2b Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf new file mode 100644 index 0000000..e5f7eec Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff new file mode 100644 index 0000000..ec29ac6 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 new file mode 100644 index 0000000..8437d4e Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf new file mode 100644 index 0000000..22987c6 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff new file mode 100644 index 0000000..0fcc9ec Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 new file mode 100644 index 0000000..0dda5e2 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf new file mode 100644 index 0000000..f5fa0ca Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff new file mode 100644 index 0000000..ef2c048 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 new file mode 100644 index 0000000..0b39a3d Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf new file mode 100644 index 0000000..7fde907 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff new file mode 100644 index 0000000..a2c6f3a Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 new file mode 100644 index 0000000..7bb8104 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf new file mode 100644 index 0000000..3259bc2 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff new file mode 100644 index 0000000..744ab17 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 new file mode 100644 index 0000000..80ff661 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf new file mode 100644 index 0000000..8184ced Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff new file mode 100644 index 0000000..20b681b Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 new file mode 100644 index 0000000..f2b469a Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf new file mode 100644 index 0000000..754dca7 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff new file mode 100644 index 0000000..86ca700 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 new file mode 100644 index 0000000..c28f910 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf new file mode 100644 index 0000000..4c858d4 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff new file mode 100644 index 0000000..f75742f Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 new file mode 100644 index 0000000..2631692 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf new file mode 100644 index 0000000..f578602 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff new file mode 100644 index 0000000..ecbec92 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 new file mode 100644 index 0000000..cf200e1 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf new file mode 100644 index 0000000..3bb755f Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff new file mode 100644 index 0000000..d564249 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 new file mode 100644 index 0000000..655ac56 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf new file mode 100644 index 0000000..a36dd4b Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff new file mode 100644 index 0000000..760ce0d Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 new file mode 100644 index 0000000..9968a8b Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf new file mode 100644 index 0000000..805daf2 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff new file mode 100644 index 0000000..3f3d8da Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 new file mode 100644 index 0000000..4dec967 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf new file mode 100644 index 0000000..0b803d2 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff new file mode 100644 index 0000000..d53ea7b Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 new file mode 100644 index 0000000..238566d Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf new file mode 100644 index 0000000..222bf13 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff new file mode 100644 index 0000000..76d9462 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 new file mode 100644 index 0000000..5874900 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf new file mode 100644 index 0000000..e446636 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff new file mode 100644 index 0000000..2d71a2a Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 new file mode 100644 index 0000000..36f7022 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf new file mode 100644 index 0000000..c529df3 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff new file mode 100644 index 0000000..d0fbe3f Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 new file mode 100644 index 0000000..30345e8 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf new file mode 100644 index 0000000..d3959b3 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff new file mode 100644 index 0000000..e520a60 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff differ diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 new file mode 100644 index 0000000..38ac5d8 Binary files /dev/null and b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 differ diff --git a/web-tools/web/_static/dejavu-fonts/Makefile b/web-tools/web/_static/dejavu-fonts/Makefile new file mode 100644 index 0000000..88147ce --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/Makefile @@ -0,0 +1,20 @@ +# Makefile + +# Depends: woff-tools woff2 + +all: woff woff2 + +woff: *.ttf + for FILE in *.ttf; \ + do \ + sfnt2woff $${FILE}; \ + done + +woff2: *.ttf + for FILE in *.ttf; \ + do \ + woff2_compress $${FILE}; \ + done + +clean: + rm -f *.woff *.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/dejavu-fonts.css b/web-tools/web/_static/dejavu-fonts/dejavu-fonts.css new file mode 100644 index 0000000..a745aeb --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/dejavu-fonts.css @@ -0,0 +1,172 @@ +@font-face { + font-family: 'DejaVuSans'; + src: url('DejaVuSans-BoldOblique.woff2') format('woff2'), + url('DejaVuSans-BoldOblique.woff') format('woff'), + url('DejaVuSans-BoldOblique.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('DejaVuSans-Oblique.woff2') format('woff2'), + url('DejaVuSans-Oblique.woff') format('woff'), + url('DejaVuSans-Oblique.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('DejaVuSans-Bold.woff2') format('woff2'), + url('DejaVuSans-Bold.woff') format('woff'), + url('DejaVuSans-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('DejaVuSans-ExtraLight.woff2') format('woff2'), + url('DejaVuSans-ExtraLight.woff') format('woff'), + url('DejaVuSans-ExtraLight.ttf') format('truetype'); + font-weight: lighter; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSans'; + src: url('DejaVuSans.woff2') format('woff2'), + url('DejaVuSans.woff') format('woff'), + url('DejaVuSans.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('DejaVuSansCondensed-BoldOblique.woff2') format('woff2'), + url('DejaVuSansCondensed-BoldOblique.woff') format('woff'), + url('DejaVuSansCondensed-BoldOblique.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('DejaVuSansCondensed-Oblique.woff2') format('woff2'), + url('DejaVuSansCondensed-Oblique.woff') format('woff'), + url('DejaVuSansCondensed-Oblique.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('DejaVuSansCondensed-Bold.woff2') format('woff2'), + url('DejaVuSansCondensed-Bold.woff') format('woff'), + url('DejaVuSansCondensed-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSansCondensed'; + src: url('DejaVuSansCondensed.woff2') format('woff2'), + url('DejaVuSansCondensed.woff') format('woff'), + url('DejaVuSansCondensed.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'DejaVuSansMono'; + src: url('DejaVuSansMono-BoldOblique.woff2') format('woff2'), + url('DejaVuSansMono-BoldOblique.woff') format('woff'), + url('DejaVuSansMono-BoldOblique.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansMono'; + src: url('DejaVuSansMono-Oblique.woff2') format('woff2'), + url('DejaVuSansMono-Oblique.woff') format('woff'), + url('DejaVuSansMono-Oblique.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSansMono'; + src: url('DejaVuSansMono-Bold.woff2') format('woff2'), + url('DejaVuSansMono-Bold.woff') format('woff'), + url('DejaVuSansMono-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSansMono'; + src: url('DejaVuSansMono.woff2') format('woff2'), + url('DejaVuSansMono.woff') format('woff'), + url('DejaVuSansMono.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'DejaVuSerif'; + src: url('DejaVuSerif-BoldItalic.woff2') format('woff2'), + url('DejaVuSerif-BoldItalic.woff') format('woff'), + url('DejaVuSerif-BoldItalic.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerif'; + src: url('DejaVuSerif-Italic.woff2') format('woff2'), + url('DejaVuSerif-Italic.woff') format('woff'), + url('DejaVuSerif-Italic.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerif'; + src: url('DejaVuSerif-Bold.woff2') format('woff2'), + url('DejaVuSerif-Bold.woff') format('woff'), + url('DejaVuSerif-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSerif'; + src: url('DejaVuSerif.woff2') format('woff2'), + url('DejaVuSerif.woff') format('woff'), + url('DejaVuSerif.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('DejaVuSerifCondensed-BoldItalic.woff2') format('woff2'), + url('DejaVuSerifCondensed-BoldItalic.woff') format('woff'), + url('DejaVuSerifCondensed-BoldItalic.ttf') format('truetype'); + font-weight: bold; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('DejaVuSerifCondensed-Italic.woff2') format('woff2'), + url('DejaVuSerifCondensed-Italic.woff') format('woff'), + url('DejaVuSerifCondensed-Italic.ttf') format('truetype'); + font-weight: normal; + font-style: italic, oblique; +} +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('DejaVuSerifCondensed-Bold.woff2') format('woff2'), + url('DejaVuSerifCondensed-Bold.woff') format('woff'), + url('DejaVuSerifCondensed-Bold.ttf') format('truetype'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'DejaVuSerifCondensed'; + src: url('DejaVuSerifCondensed.woff2') format('woff2'), + url('DejaVuSerifCondensed.woff') format('woff'), + url('DejaVuSerifCondensed.ttf') format('truetype'); + font-weight: normal; + font-style: normal; +} -- cgit v1.2.3