Fix top right header button layout and hover consistency

Signed-off-by: Michael Telatynski <7t3chguy@gmail.com>
2020-07-16 14:38:46 +01:00
parent cb4f4c96b4
commit a2b5e5a6a1
3 changed files with 22 additions and 11 deletions
@@ -22,7 +22,7 @@ limitations under the License.
    content: "";
    background-color: $header-divider-color;
    opacity: 0.5;
-    margin: 0 15px;
+    margin: 6px 8px;
    border-radius: 1px;
    width: 1px;
 }