diff options
Diffstat (limited to 'coverage/htmlfiles')
-rw-r--r-- | coverage/htmlfiles/index.html | 2 | ||||
-rw-r--r-- | coverage/htmlfiles/pyfile.html | 2 | ||||
-rw-r--r-- | coverage/htmlfiles/style.css | 8 |
3 files changed, 6 insertions, 6 deletions
diff --git a/coverage/htmlfiles/index.html b/coverage/htmlfiles/index.html index 7fee1736..4b572711 100644 --- a/coverage/htmlfiles/index.html +++ b/coverage/htmlfiles/index.html @@ -16,7 +16,7 @@ jQuery(document).ready(coverage.index_ready); </script> </head> -<body id='indexfile'> +<body class='indexfile'> <div id='header'> <div class='content'> diff --git a/coverage/htmlfiles/pyfile.html b/coverage/htmlfiles/pyfile.html index 3a35b02e..da505a76 100644 --- a/coverage/htmlfiles/pyfile.html +++ b/coverage/htmlfiles/pyfile.html @@ -18,7 +18,7 @@ jQuery(document).ready(coverage.pyfile_ready); </script> </head> -<body id='pyfile'> +<body class='pyfile'> <div id='header'> <div class='content'> diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 0c29711a..0bdbaa96 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -61,11 +61,11 @@ a.nav:hover { font-family: "courier new", monospace; } -#indexfile #footer { +.indexfile #footer { margin: 1em 3em; } -#pyfile #footer { +.pyfile #footer { margin: 1em 1em; } @@ -160,11 +160,11 @@ h2.stats { display: none; } -#indexfile .help_panel { +.indexfile .help_panel { width: 20em; height: 4em; } -#pyfile .help_panel { +.pyfile .help_panel { width: 16em; height: 8em; } |