Merge pull request #3686 from riking/dark-theme-fix

FIX: Hover highlights in top menus
This commit is contained in:
Jeff Atwood 2015-08-21 15:02:26 -07:00
commit b1848cee87
1 changed files with 4 additions and 4 deletions

View File

@ -175,14 +175,14 @@
} }
&:hover a:not(.badge-notification) { &:hover a:not(.badge-notification) {
background-color: dark-light-diff($highlight, $secondary, 50%, -70%); background-color: dark-light-diff($highlight, $secondary, 50%, -55%);
} }
button {margin-left: 5px;} button {margin-left: 5px;}
} }
.heading a:hover { .heading a:hover {
background-color: dark-light-diff($highlight, $secondary, 50%, -70%); background-color: dark-light-diff($highlight, $secondary, 50%, -55%);
} }
.selected { .selected {
@ -202,7 +202,7 @@
padding-top: 2px; padding-top: 2px;
} }
span { color: $primary; } span { color: $primary; }
&:hover a { background-color: dark-light-diff($highlight, $secondary, 50%, -70%); } &:hover a { background-color: dark-light-diff($highlight, $secondary, 50%, -55%); }
a { padding: 4px 0 3px 2px; } a { padding: 4px 0 3px 2px; }
p { p {
margin: 0; margin: 0;
@ -338,7 +338,7 @@
} }
.highlight-strong { .highlight-strong {
background-color: dark-light-diff($highlight, $secondary, 40%, -50%); background-color: dark-light-diff($highlight, $secondary, 40%, -45%);
} }
.search-highlight { .search-highlight {