summaryrefslogtreecommitdiff
path: root/coverage/htmlfiles
diff options
context:
space:
mode:
authorNed Batchelder <ned@nedbatchelder.com>2021-02-27 07:34:33 -0500
committerNed Batchelder <ned@nedbatchelder.com>2021-02-27 07:34:33 -0500
commitc7052bb24da03b5112c6d7fd1386936e211223f0 (patch)
tree79c97a0c581f5e712be5668ce2e8bc97eaf58ed8 /coverage/htmlfiles
parentdc9b842271b49b85681987643fceab598bd4de21 (diff)
downloadpython-coveragepy-git-c7052bb24da03b5112c6d7fd1386936e211223f0.tar.gz
fix: HTML report makes room for 4-digit line numbers #1124
Fixes: #1124
Diffstat (limited to 'coverage/htmlfiles')
-rw-r--r--coverage/htmlfiles/style.css10
-rw-r--r--coverage/htmlfiles/style.scss6
2 files changed, 8 insertions, 8 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 3e7f9b66..36ee2a6e 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -34,7 +34,7 @@ a.nav:hover { text-decoration: underline; color: inherit; }
@media (prefers-color-scheme: dark) { #header { border-color: #333; } }
-.indexfile #footer { margin: 1rem 3rem; }
+.indexfile #footer { margin: 1rem 3.5rem; }
.pyfile #footer { margin: 1rem 1rem; }
@@ -42,9 +42,9 @@ a.nav:hover { text-decoration: underline; color: inherit; }
@media (prefers-color-scheme: dark) { #footer .content { color: #aaa; } }
-#index { margin: 1rem 0 0 3rem; }
+#index { margin: 1rem 0 0 3.5rem; }
-#header .content { padding: 1rem 3rem; }
+#header .content { padding: 1rem 3.5rem; }
h1 { font-size: 1.25em; display: inline-block; }
@@ -122,13 +122,13 @@ h2.stats { margin-top: .5em; font-size: 1em; }
.keyhelp .key { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em .35em; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-weight: bold; background: #eee; }
-#source { padding: 1em 0 1em 3rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; }
+#source { padding: 1em 0 1em 3.5rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; }
#source p { position: relative; white-space: pre; }
#source p * { box-sizing: border-box; }
-#source p .n { float: left; text-align: right; width: 3rem; box-sizing: border-box; margin-left: -3rem; padding-right: 1em; color: #999; }
+#source p .n { float: left; text-align: right; width: 3.5rem; box-sizing: border-box; margin-left: -3.5rem; padding-right: 1em; color: #999; }
@media (prefers-color-scheme: dark) { #source p .n { color: #777; } }
diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss
index 8169269e..158d1fb4 100644
--- a/coverage/htmlfiles/style.scss
+++ b/coverage/htmlfiles/style.scss
@@ -16,7 +16,7 @@
/* Don't edit this .css file. Edit the .scss file instead! */
// Dimensions
-$left-gutter: 3rem;
+$left-gutter: 3.5rem;
//
@@ -166,7 +166,7 @@ a.nav {
}
.indexfile #footer {
- margin: 1rem 3rem;
+ margin: 1rem $left-gutter;
}
.pyfile #footer {
@@ -181,7 +181,7 @@ a.nav {
}
#index {
- margin: 1rem 0 0 3rem;
+ margin: 1rem 0 0 $left-gutter;
}
// Header styles