diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2010-03-14 10:00:57 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2010-03-14 10:00:57 -0400 |
| commit | 5216aa36d731b1245f7fceea88163aacf429725a (patch) | |
| tree | 190c43b551b6e7bd674c39091d18b01f1f4885dc /coverage/htmlfiles | |
| parent | 4e95c554e52b4a468dbfd4c493f60932ecb4e102 (diff) | |
| download | python-coveragepy-git-5216aa36d731b1245f7fceea88163aacf429725a.tar.gz | |
Added a link back to the index page at the bottom of HTML source pages. Closes issue #38.
Diffstat (limited to 'coverage/htmlfiles')
| -rw-r--r-- | coverage/htmlfiles/index.html | 2 | ||||
| -rw-r--r-- | coverage/htmlfiles/pyfile.html | 10 | ||||
| -rw-r--r-- | coverage/htmlfiles/style.css | 6 |
3 files changed, 15 insertions, 3 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 9b8214ff..0d475524 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -11,7 +11,7 @@ jQuery(document).ready(index_page_ready); </script> </head> -<body> +<body id='indexfile'> <div id='header'> <div class='content'> diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html index 4aa4309f..035691c8 100644 --- a/coverage/htmlfiles/pyfile.html +++ b/coverage/htmlfiles/pyfile.html @@ -13,7 +13,7 @@ jQuery(document).ready(pyfile_ready); </script> </head> -<body> +<body id='pyfile'> <div id='header'> <div class='content'> @@ -49,5 +49,13 @@ </table> </div> +<div id='footer'> + <div class='content'> + <p> + <a class='nav' href='index.html'>« index</a> <a class='nav' href='{{__url__}}'>coverage.py v{{__version__}}</a> + </p> + </div> +</div> + </body> </html> diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index a9ab5358..252fbbcb 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -53,10 +53,14 @@ a.nav:hover { font-family: "courier new", monospace; } -#footer { +#indexfile #footer { margin: 1em 3em; } +#pyfile #footer { + margin: 1em 1em; + } + #footer .content { padding: 0; font-size: 85%; |