Personal/cops
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Use a search input instead of text. Adapt a little the css.

Browse source
This commit is contained in:
Sébastien Lucas 2013-05-22 18:09:12 +02:00
parent 9a116772ab
commit a842dcbc10
2 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
index.php
View file

@ -159,7 +159,7 @@
<?php if (!is_null ($database)) { ?> <?php if (!is_null ($database)) { ?>
<input type="hidden" name="<?php echo DB ?>" value="<?php echo $database ?>" /> <input type="hidden" name="<?php echo DB ?>" value="<?php echo $database ?>" />
<?php } ?> <?php } ?>
<input type="text" name="query" /> <input type="search" name="query" />
</div> </div>
</form> </form>
</div> </div>

11
style.css
View file

@ -231,17 +231,22 @@ overflow: hidden;
/*-------------Search Aside-------------*/ /*-------------Search Aside-------------*/
#tool input[type=text] #tool input[type=search]
{ {
vertical-align: middle; vertical-align: middle;
width: 100%; width: 100%;
margin: 5px; margin: 3px;
}
#tool div, #tool form
{
height: 32px;
} }
.stop select .stop select
{ {
vertical-align: middle; vertical-align: middle;
margin: 5px; margin: 4px;
} }
#sort #sort