From f73f2356820468344757dbb9d7f3ec73ece7bf66 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@open-infrastructure.net>
Date: Mon, 13 Feb 2023 20:43:51 +0100
Subject: Updating.

Signed-off-by: Daniel Baumann <daniel.baumann@open-infrastructure.net>
---
 web/_static/local/font.css | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 web/_static/local/font.css

(limited to 'web/_static/local/font.css')

diff --git a/web/_static/local/font.css b/web/_static/local/font.css
new file mode 100644
index 0000000..50ecf90
--- /dev/null
+++ b/web/_static/local/font.css
@@ -0,0 +1,28 @@
+a.a-hover-red {
+  color: inherit;
+}
+
+a.a-hover-red:hover {
+  color: #cc0000 !important;
+  text-decoration: none;
+}
+
+html,
+body,
+.tooltip,
+.popover {
+  font-family: 'DejaVuSans';
+}
+
+pre,
+code,
+kbd,
+samp,
+.text-monospace {
+  font-family: 'DejaVuSansMono';
+}
+
+body {
+  min-height: 75rem;
+  padding-top: 4.5rem;
+}
-- 
cgit v1.2.3