Merge pull request #834 from donald-pinckney/master

Fixes #826
This commit is contained in:
Dylan DPC 2019-04-23 11:36:43 +02:00 committed by GitHub
commit b891fd5a12
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -345,15 +345,17 @@ ul#searchresults span.teaser em {
color: var(--sidebar-non-existant);
}
.chapter li a {
color: var(--sidebar-fg);
display: block;
padding: 0;
text-decoration: none;
color: var(--sidebar-fg);
}
.chapter li a:hover { text-decoration: none }
.chapter li .active,
a:hover {
/* Animate color change */
.chapter li a:hover {
color: var(--sidebar-active);
}
.chapter li .active {
color: var(--sidebar-active);
}