diff options
| author | Daniel Baumann <daniel.baumann@open-infrastructure.net> | 2021-10-14 14:59:23 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@open-infrastructure.net> | 2022-01-27 07:04:33 +0000 |
| commit | e7de04494b70ca62ac1abda7f9a3ef41994f4f51 (patch) | |
| tree | 78a8387bbe7d9204f2c46a3e5128a7e2e58ba322 /web-tools/web/_static/local/font.css | |
| parent | Adding debian packaging. (diff) | |
| download | network-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/local/font.css')
| -rw-r--r-- | web-tools/web/_static/local/font.css | 23 |
1 files changed, 23 insertions, 0 deletions
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'; +} |