[Platform] Bring in changes

Bring in open-source-friendly changes to CSS, fonts, templates,
related to WTD-1045.
This commit is contained in:
Victor Woeltjen
2015-03-20 09:11:07 -07:00
parent 6721bca32a
commit 988f539ee1
7 changed files with 42 additions and 33 deletions

View File

@@ -68,13 +68,13 @@
input.filter {
$h: $ueTopBarH;
$ip: 10px;
font-size: .8em;
font-size: .9em;
height: $h;
line-height: $h;
margin-right: $interiorMargin;
margin-top: -5px;
padding-left: $ip;
padding-right: $ip;
vertical-align: top;
}
.icon-filter {
font-size: 1.4em;