// -------------------------------------------------- // Discourse header // -------------------------------------------------- .d-header { padding-left: 10px !important; padding-right: 10px !important; a.star {float: left;} .panel { margin-right: 20px; } .current-username { display: none; a { line-height: 40px; } } .icons { .badge-notification { color: $tertiary !important; /* this !important is a terrible hack but the badge colors are being overridden in a way I can't figure out on mobile, appears to be a CSS precedence problem */ } .active .icon { &:after { margin-top: -1px; } } } } #main-outlet { padding-top: 60px; } // Dropdowns // -------------------------------------------------- .d-dropdown { width: 290px; margin-top: -1px; // Common .heading { color: $primary; font-weight: bold; font-size: 12px; line-height: 15px; } // Search input[type='text'] { width: 267px; font-size: 16px; } &#user-dropdown { width: 155px; } .btn { padding: 2px 8px; .fa { margin-right: 5px; } } }