Factor nav-padding into search input width (#967)

Hardcoded value of 30px no longer works when navigation padding is changed. This is now calculated dynamically.
This commit is contained in:
Jerome Dahdah
2018-03-01 17:33:14 +01:00
committed by Robert Lord
parent c8941b0a05
commit 7ecc79c93b

View File

@@ -88,7 +88,7 @@ html, body {
padding: 6px 0 6px 20px;
box-sizing: border-box;
margin: $nav-v-padding $nav-padding;
width: $nav-width - 30;
width: $nav-width - ($nav-padding*2);
outline: none;
color: $nav-text;
border-radius: 0; /* ios has a default border radius */