diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2021-10-20 20:43:38 -0400 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2021-10-20 20:43:38 -0400 |
commit | e2281bc901150bafb6f64e62807b32abf22520a7 (patch) | |
tree | d897c559f570938d35720232f86a4cabd6286004 /coverage/html.py | |
parent | afe6cf34d022e8dbbaa47826c487a98ca6832721 (diff) | |
download | python-coveragepy-git-e2281bc901150bafb6f64e62807b32abf22520a7.tar.gz |
fix(html): scrolling to an anchor ensures the line is visible
The sticky header was hiding the line scrolled to the top of the window.
Along the way, also changed to use classes on <body> to control the
sticky header, and moved the header code into a function.
Diffstat (limited to 'coverage/html.py')
0 files changed, 0 insertions, 0 deletions