Fix slightly cropped font on settings page dropdowns when using system font (#9839)

pull/888/head
Mélanie Chauvel (ariasuni) 2019-01-17 23:28:30 +01:00 committed by Eugen Rochko
parent 4cd0a10793
commit b8894c429a
1 changed files with 1 additions and 1 deletions

View File

@ -419,7 +419,7 @@ code {
background: darken($ui-base-color, 10%) url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 14.933 18.467' height='19.698' width='15.929'><path d='M3.467 14.967l-3.393-3.5H14.86l-3.392 3.5c-1.866 1.925-3.666 3.5-4 3.5-.335 0-2.135-1.575-4-3.5zm.266-11.234L7.467 0 11.2 3.733l3.733 3.734H0l3.733-3.734z' fill='#{hex-color(lighten($ui-base-color, 12%))}'/></svg>") no-repeat right 8px center / auto 16px;
border: 1px solid darken($ui-base-color, 14%);
border-radius: 4px;
padding: 10px;
padding-left: 10px;
padding-right: 30px;
height: 41px;
}