From e3c74c757e475f200c6c4563ebebd9172412970a Mon Sep 17 00:00:00 2001 From: Daniel Chambers Date: Mon, 12 Sep 2016 10:14:53 +1000 Subject: [PATCH] Added code font styling fallback --- static/haddock/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static/haddock/style.css b/static/haddock/style.css index d8ff95f..8adf733 100644 --- a/static/haddock/style.css +++ b/static/haddock/style.css @@ -616,7 +616,7 @@ a[href] { } .caption { color: #6e618d!important } pre{ background: #f8f8f8; padding: 1em; } -pre, pre * { font-family: "ubuntu mono", "Monaco" !important; font-size: 13px !important; } +pre, pre * { font-family: "ubuntu mono", "Monaco", "Consolas", monospace !important; font-size: 13px !important; } #table-of-contents { background: #f8f8f8; border: 1px solid #eee;