diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2016-01-31 07:22:10 -0500 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2016-01-31 07:22:10 -0500 |
| commit | a6d18806b9e2bf6fc4eee3f1444b1fa53e25d112 (patch) | |
| tree | da4399058175833479fdeb601997703470242218 /coverage/htmlfiles/style.css | |
| parent | e19650faa42342eeabb111ca08a531754c03c58a (diff) | |
| download | python-coveragepy-git-a6d18806b9e2bf6fc4eee3f1444b1fa53e25d112.tar.gz | |
Clean up more of the scroll marker code
Diffstat (limited to 'coverage/htmlfiles/style.css')
| -rw-r--r-- | coverage/htmlfiles/style.css | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 64e0e015..20ebaa98 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -327,10 +327,13 @@ td.text { /* scroll marker styles */ #scroll_marker { - position:fixed; - right:0; - top:0; - width:16px; + position: fixed; + right: 0; + top: 0; + width: 16px; + height: 100%; + background: white; + border-left: 1px solid #eee; } #scroll_marker .marker { |