summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2020-07-05 15:01:01 -0400
committerNed Batchelder <ned@nedbatchelder.com>2020-07-05 15:04:54 -0400
commita08e42e1dd88c8042249b39b9275fb0c2216e8dc (patch)
tree6d73c3ae5214753a278ecd0f9084b32e1bbaeb96
parent336f55fbce7ff85a047095d658d0aff3a15e24e0 (diff)
downloadpython-coveragepy-git-a08e42e1dd88c8042249b39b9275fb0c2216e8dc.tar.gz
Back to monospaced for the index page
-rw-r--r--coverage/htmlfiles/style.css2
-rw-r--r--coverage/htmlfiles/style.scss2
-rw-r--r--tests/gold/html/styled/style.css2
3 files changed, 3 insertions, 3 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index a9410fd8..e501ea6b 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -234,7 +234,7 @@ h2.stats { margin-top: .5em; font-size: 1em; }
#source p .ctxs span { display: block; text-align: right; }
-#index { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 0.875em; }
+#index { font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-size: 0.875em; }
#index table.index { margin-left: -.5em; }
diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss
index 1681663d..98f9e55d 100644
--- a/coverage/htmlfiles/style.scss
+++ b/coverage/htmlfiles/style.scss
@@ -573,7 +573,7 @@ $context-panel-color: #aaeeff;
// index styles
#index {
- font-family: $font-normal;
+ font-family: $font-code;
font-size: 0.875em;
table.index {
diff --git a/tests/gold/html/styled/style.css b/tests/gold/html/styled/style.css
index a9410fd8..e501ea6b 100644
--- a/tests/gold/html/styled/style.css
+++ b/tests/gold/html/styled/style.css
@@ -234,7 +234,7 @@ h2.stats { margin-top: .5em; font-size: 1em; }
#source p .ctxs span { display: block; text-align: right; }
-#index { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 0.875em; }
+#index { font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-size: 0.875em; }
#index table.index { margin-left: -.5em; }