Adding web-tools (WIP).

Signed-off-by: Daniel Baumann <daniel.baumann@open-infrastructure.net>

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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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
new 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;
+}