diff options
Diffstat (limited to 'coverage/htmlfiles')
| -rw-r--r-- | coverage/htmlfiles/style.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index ee14f9ee..f999eb70 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -64,7 +64,7 @@ a.nav:hover { #source { padding: 1em; - font-family: "courier new", monospace; + font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; } .indexfile #footer { |