Verified Commit 0d42b0b3 authored by Jakob Moser's avatar Jakob Moser
Browse files

Add margin to icons in nav

parent c2e9167f
Loading
Loading
Loading
Loading
Loading
+4 −0
Changes for portal/static/css/main.css: 4 added lines, 0 removed lines.
Original line number Diff line number Diff line
@@ -146,6 +146,10 @@ nav ul li a {
    text-decoration: none;
}

nav ul li a i {
    margin-right: 0.2em;
}

nav ul li a.current {
    border-color: var(--primary);
    font-weight: bold;