diff options
Diffstat (limited to 'web-tools/web/_static/dejavu-fonts')
68 files changed, 192 insertions, 0 deletions
diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf Binary files differnew file mode 100644 index 0000000..8a24f06 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff Binary files differnew file mode 100644 index 0000000..d4f48cd --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 Binary files differnew file mode 100644 index 0000000..a6d5497 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf Binary files differnew file mode 100644 index 0000000..6d65fa7 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff Binary files differnew file mode 100644 index 0000000..76c14b0 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 Binary files differnew file mode 100644 index 0000000..373095f --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf Binary files differnew file mode 100644 index 0000000..753f2d8 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff Binary files differnew file mode 100644 index 0000000..e2fe5aa --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 Binary files differnew file mode 100644 index 0000000..8f6b20e --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf Binary files differnew file mode 100644 index 0000000..b09f32d --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff Binary files differnew file mode 100644 index 0000000..d6d9461 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 Binary files differnew file mode 100644 index 0000000..bceb184 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf Binary files differnew file mode 100644 index 0000000..999bac7 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff Binary files differnew file mode 100644 index 0000000..7731f56 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 Binary files differnew file mode 100644 index 0000000..d0feb2b --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf Binary files differnew file mode 100644 index 0000000..e5f7eec --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff Binary files differnew file mode 100644 index 0000000..ec29ac6 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 Binary files differnew file mode 100644 index 0000000..8437d4e --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf Binary files differnew file mode 100644 index 0000000..22987c6 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff Binary files differnew file mode 100644 index 0000000..0fcc9ec --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 Binary files differnew file mode 100644 index 0000000..0dda5e2 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf Binary files differnew file mode 100644 index 0000000..f5fa0ca --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff Binary files differnew file mode 100644 index 0000000..ef2c048 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 Binary files differnew file mode 100644 index 0000000..0b39a3d --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf Binary files differnew file mode 100644 index 0000000..7fde907 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff Binary files differnew file mode 100644 index 0000000..a2c6f3a --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 Binary files differnew file mode 100644 index 0000000..7bb8104 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf Binary files differnew file mode 100644 index 0000000..3259bc2 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff Binary files differnew file mode 100644 index 0000000..744ab17 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 Binary files differnew file mode 100644 index 0000000..80ff661 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf Binary files differnew file mode 100644 index 0000000..8184ced --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff Binary files differnew file mode 100644 index 0000000..20b681b --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 Binary files differnew file mode 100644 index 0000000..f2b469a --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf Binary files differnew file mode 100644 index 0000000..754dca7 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff Binary files differnew file mode 100644 index 0000000..86ca700 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 Binary files differnew file mode 100644 index 0000000..c28f910 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf Binary files differnew file mode 100644 index 0000000..4c858d4 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff Binary files differnew file mode 100644 index 0000000..f75742f --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 Binary files differnew file mode 100644 index 0000000..2631692 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf Binary files differnew file mode 100644 index 0000000..f578602 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff Binary files differnew file mode 100644 index 0000000..ecbec92 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 Binary files differnew file mode 100644 index 0000000..cf200e1 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf Binary files differnew file mode 100644 index 0000000..3bb755f --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff Binary files differnew file mode 100644 index 0000000..d564249 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 Binary files differnew file mode 100644 index 0000000..655ac56 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf Binary files differnew file mode 100644 index 0000000..a36dd4b --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff Binary files differnew file mode 100644 index 0000000..760ce0d --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 Binary files differnew file mode 100644 index 0000000..9968a8b --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf Binary files differnew file mode 100644 index 0000000..805daf2 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff Binary files differnew file mode 100644 index 0000000..3f3d8da --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 Binary files differnew file mode 100644 index 0000000..4dec967 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf Binary files differnew file mode 100644 index 0000000..0b803d2 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff Binary files differnew file mode 100644 index 0000000..d53ea7b --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 Binary files differnew file mode 100644 index 0000000..238566d --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf Binary files differnew file mode 100644 index 0000000..222bf13 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff Binary files differnew file mode 100644 index 0000000..76d9462 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 Binary files differnew file mode 100644 index 0000000..5874900 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf Binary files differnew file mode 100644 index 0000000..e446636 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff Binary files differnew file mode 100644 index 0000000..2d71a2a --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 Binary files differnew file mode 100644 index 0000000..36f7022 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf Binary files differnew file mode 100644 index 0000000..c529df3 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff Binary files differnew file mode 100644 index 0000000..d0fbe3f --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 Binary files differnew file mode 100644 index 0000000..30345e8 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2 diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf Binary files differnew file mode 100644 index 0000000..d3959b3 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff Binary files differnew file mode 100644 index 0000000..e520a60 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff diff --git a/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 Binary files differnew file mode 100644 index 0000000..38ac5d8 --- /dev/null +++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2 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; +} |