diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2014-10-25 09:49:30 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2014-10-25 09:49:30 -0400 |
| commit | c8d6cf9e113998ebf56e58dee83e9a509adfe4c4 (patch) | |
| tree | 710bd1726e0446f52079afc5194d66da1aa68de1 /coverage/htmlfiles | |
| parent | 044c7a1304241e8972023d93a743c790fa15a13d (diff) | |
| download | python-coveragepy-c8d6cf9e113998ebf56e58dee83e9a509adfe4c4.tar.gz | |
Make the filter box smaller
Diffstat (limited to 'coverage/htmlfiles')
| -rw-r--r-- | coverage/htmlfiles/style.css | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css index 0bdbaa9..9010af7 100644 --- a/coverage/htmlfiles/style.css +++ b/coverage/htmlfiles/style.css @@ -91,13 +91,13 @@ h1 { display: inline-block; } -form#filter_container { +#filter_container { display: inline-block; float: right; - margin: 0 3em 0 0; + margin: 0 2em 0 0; } -form#filter_container input { - width: 24em; +#filter_container input { + width: 10em; } h2.stats { |