summaryrefslogtreecommitdiffstats
path: root/web-tools/web/_static/dejavu-fonts
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@open-infrastructure.net>2021-10-14 14:59:23 +0000
committerDaniel Baumann <daniel.baumann@open-infrastructure.net>2022-01-27 07:04:33 +0000
commite7de04494b70ca62ac1abda7f9a3ef41994f4f51 (patch)
tree78a8387bbe7d9204f2c46a3e5128a7e2e58ba322 /web-tools/web/_static/dejavu-fonts
parentAdding debian packaging. (diff)
downloadnetwork-tools-e7de04494b70ca62ac1abda7f9a3ef41994f4f51.tar.xz
network-tools-e7de04494b70ca62ac1abda7f9a3ef41994f4f51.zip
Adding web-tools (WIP).
Signed-off-by: Daniel Baumann <daniel.baumann@open-infrastructure.net>
Diffstat (limited to 'web-tools/web/_static/dejavu-fonts')
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.ttfbin0 -> 577708 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woffbin0 -> 265472 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2bin0 -> 186728 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttfbin0 -> 705684 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woffbin0 -> 348104 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2bin0 -> 236792 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttfbin0 -> 643292 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woffbin0 -> 326700 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2bin0 -> 227924 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttfbin0 -> 355380 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woffbin0 -> 169312 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2bin0 -> 79036 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttfbin0 -> 635416 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woffbin0 -> 324108 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2bin0 -> 227820 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans.ttfbin0 -> 757076 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans.woffbin0 -> 377212 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2bin0 -> 257460 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttfbin0 -> 665028 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woffbin0 -> 325388 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2bin0 -> 227876 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttfbin0 -> 611836 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woffbin0 -> 312868 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2bin0 -> 225080 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttfbin0 -> 599292 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woffbin0 -> 306540 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2bin0 -> 222456 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttfbin0 -> 680264 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woffbin0 -> 330536 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2bin0 -> 231320 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttfbin0 -> 331992 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woffbin0 -> 198060 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2bin0 -> 143796 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttfbin0 -> 253580 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woffbin0 -> 150760 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2bin0 -> 108228 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttfbin0 -> 251932 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woffbin0 -> 149396 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2bin0 -> 107524 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttfbin0 -> 340712 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woffbin0 -> 200340 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2bin0 -> 145192 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttfbin0 -> 356088 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woffbin0 -> 193280 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2bin0 -> 132740 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttfbin0 -> 347460 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woffbin0 -> 194856 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2bin0 -> 136760 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttfbin0 -> 345996 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woffbin0 -> 193784 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2bin0 -> 136192 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttfbin0 -> 380132 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif.woffbin0 -> 210524 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2bin0 -> 146864 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttfbin0 -> 331244 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woffbin0 -> 177876 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2bin0 -> 126072 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttfbin0 -> 346508 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woffbin0 -> 197012 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2bin0 -> 143176 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttfbin0 -> 345324 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woffbin0 -> 196020 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2bin0 -> 142732 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttfbin0 -> 346664 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woffbin0 -> 189692 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2bin0 -> 136228 bytes
-rw-r--r--web-tools/web/_static/dejavu-fonts/Makefile20
-rw-r--r--web-tools/web/_static/dejavu-fonts/dejavu-fonts.css172
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
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuMathTeXGyre.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Bold.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-BoldOblique.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-ExtraLight.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans-Oblique.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSans.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Bold.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-BoldOblique.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed-Oblique.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansCondensed.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Bold.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-BoldOblique.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono-Oblique.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSansMono.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Bold.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-BoldItalic.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif-Italic.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerif.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Bold.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-BoldItalic.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed-Italic.woff2
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.ttf
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff
Binary files 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
--- /dev/null
+++ b/web-tools/web/_static/dejavu-fonts/DejaVuSerifCondensed.woff2
Binary files 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;
+}