1 files changed, 172 insertions, 0 deletions
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;
+}