Fetch upstream #5

Merged
OCram85 merged 20 commits from fetchUpstream into master 2021-08-02 17:02:35 +02:00
Showing only changes of commit fd1e03ae06 - Show all commits

View File

@ -1068,9 +1068,13 @@ pre {
color: #fff;
font-size: 1.5rem;
}
#search-results-container a,
#search-results-container a {
color: #fff;
text-decoration: none;
}
#search-results-container a:hover {
color: #fff;
text-decoration: underline;
}
#nav-search-icon {