Merge pull request #4 from Dultus/master-cf-autofix

Apply fixes from CodeFactor
This commit is contained in:
Dultus 2023-04-06 16:37:12 +02:00 committed by GitHub
commit 6dac8f83a5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 6 deletions

View file

@ -92,11 +92,11 @@ h6 mark {
} }
.level0.summary { .level0.summary {
margin: 2em 0 2em 0; margin: 2em 0;
} }
.level1.summary { .level1.summary {
margin: 1em 0 1em 0; margin: 1em 0;
} }
span.parametername, span.parametername,
@ -572,7 +572,7 @@ body .toc{
} }
.toc-toggle { .toc-toggle {
display: none; display: none;
margin: 0 15px 0px 15px; margin: 0 15px 0px;
} }
.sidefilter { .sidefilter {
position: fixed; position: fixed;
@ -590,7 +590,7 @@ body .toc{
color: #666666; color: #666666;
padding: 5px; padding: 5px;
position: relative; position: relative;
margin: 0 5px 0 5px; margin: 0 5px;
} }
.toc-filter > input { .toc-filter > input {
border: 0; border: 0;

View file

@ -342,7 +342,7 @@ $(function () {
}); });
} }
} }
}; }
// Update href in navbar // Update href in navbar
function renderNavbar() { function renderNavbar() {
@ -488,7 +488,7 @@ $(function () {
for (var i = 0; i < parentNodes.length; i++) { for (var i = 0; i < parentNodes.length; i++) {
var parentText = $(parentNodes[i]).children('a').attr('title'); var parentText = $(parentNodes[i]).children('a').attr('title');
if (parentText) text = parentText + '.' + text; if (parentText) text = parentText + '.' + text;
}; }
if (filterNavItem(text, val)) { if (filterNavItem(text, val)) {
parent.addClass(show); parent.addClass(show);
parent.removeClass(hide); parent.removeClass(hide);