theme: rename topbar div for consistency

This commit is contained in:
Sören Weber 2022-02-27 10:31:11 +01:00
parent bf44b52dd1
commit 9bc7fe86c2
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589
4 changed files with 8 additions and 8 deletions
static/js

View file

@ -54,10 +54,10 @@ function initStickyHeader(){
// add marker when not in top position; allows users
// to change styles (eg. add a dropshadow)
if ($(this).scrollTop() == 0) {
$('#top-bar').removeClass("is-sticky");
$('#topbar').removeClass("is-sticky");
}
else {
$('#top-bar').addClass("is-sticky");
$('#topbar').addClass("is-sticky");
}
};
markSticky();
@ -504,7 +504,7 @@ jQuery(function() {
$(".highlightable").highlight(sessionStorage.getItem('search-value'), { element: 'mark' });
$("mark").parents(".expand").addClass("expand-marked");
$('#top-bar a:not(:has(img)):not(.btn)').addClass('highlight');
$('#topbar a:not(:has(img)):not(.btn)').addClass('highlight');
$('#body-inner a:not(:has(img)):not(.btn):not(a[rel="footnote"])').addClass('highlight');
sessionStorage.setItem(jQuery('body').data('url'), 1);