Add search box to server pages

This commit is contained in:
Dane Everitt 2018-09-11 21:25:02 -07:00
parent b1b6a7eecd
commit 0b0b80dc6d
No known key found for this signature in database
GPG key ID: EEA66103B3D71F53
4 changed files with 111 additions and 10 deletions

View file

@ -71,10 +71,6 @@ code {
@apply .inline-block .rounded-full .text-white .text-center .leading-none .justify-center .w-8 .h-8 .mr-2 .flex .flex-row .items-center;
}
& .pillbox {
@apply .rounded-full .px-2 .py-1 .text-white .font-medium .leading-none .text-xs;
}
& a, & a:visited {
@apply .no-underline .text-grey-darkest;
}
@ -89,6 +85,10 @@ code {
}
}
.pillbox {
@apply .rounded-full .px-2 .py-1 .text-white .font-medium .leading-none .text-xs;
}
.server-search {
@apply .w-full .my-4;