Make github trigger setup a bit nicer when there are a lot of repos

This commit is contained in:
Joseph Schorr 2014-10-27 17:05:16 -04:00
parent 6e25eaaa99
commit 793b6f543c
3 changed files with 18 additions and 12 deletions

View file

@ -19,6 +19,11 @@
}
}
.scrollable-menu {
max-height: 400px;
overflow: auto;
}
.dropdown.input-group-addon {
padding: 0px;
border: 0px;