From e7de04494b70ca62ac1abda7f9a3ef41994f4f51 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Thu, 14 Oct 2021 16:59:23 +0200 Subject: Adding web-tools (WIP). Signed-off-by: Daniel Baumann --- web-tools/web/_static/local/font.css | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 web-tools/web/_static/local/font.css (limited to 'web-tools/web/_static/local/font.css') diff --git a/web-tools/web/_static/local/font.css b/web-tools/web/_static/local/font.css new file mode 100644 index 0000000..4c9b109 --- /dev/null +++ b/web-tools/web/_static/local/font.css @@ -0,0 +1,23 @@ +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'; +} -- cgit v1.2.3