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 | 0342078b0bee470cb8670f1d69008015fd977d9c (patch) | |
| tree | 1d1a6ef84aa5533957bddb081aef676727e51830 /coverage/htmlfiles | |
| parent | 2bc8306a31a818e0b68c842ce4c51627f428943f (diff) | |
| download | python-coveragepy-git-0342078b0bee470cb8670f1d69008015fd977d9c.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 0bdbaa96..9010af76 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 { |