diff options
Diffstat (limited to '')
-rw-r--r-- | web/_static/local/font.css | 28 |
1 files changed, 28 insertions, 0 deletions
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; +} |