update changelog

Author: sunderme

utilities/manual/build/html/CHANGELOG.html

@@ -1,12 +1,5 @@
 /*
- * basic.css
- * ~~~~~~~~~
- *
  * Sphinx stylesheet -- basic theme.
- *
- * :copyright: Copyright 2007-2023 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
  */
 
 /* -- main layout ----------------------------------------------------------- */
@@ -115,15 +108,11 @@ img {
 /* -- search page ----------------------------------------------------------- */
 
 ul.search {
-    margin: 10px 0 0 20px;
-    padding: 0;
+    margin-top: 10px;
 }
 
 ul.search li {
-    padding: 5px 0 5px 20px;
-    background-image: url(file.png);
-    background-repeat: no-repeat;
-    background-position: 0 7px;
+    padding: 5px 0;
 }
 
 ul.search li a {

utilities/manual/build/html/_sphinx_design_static/design-style.1e8bd061cd6da7fc9cf755528e8ffc24.min.css renamed to utilities/manual/build/html/_sphinx_design_static/sphinx-design.min.css

@@ -1,12 +1,5 @@
 /*
- * doctools.js
- * ~~~~~~~~~~~
- *
  * Base JavaScript utilities for all Sphinx HTML documentation.
- *
- * :copyright: Copyright 2007-2023 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
  */
 "use strict";
 

utilities/manual/build/html/_static/basic.css

@@ -1,19 +1,12 @@
 /*
- * language_data.js
- * ~~~~~~~~~~~~~~~~
- *
  * This script contains the language-specific data used by searchtools.js,
  * namely the list of stopwords, stemmer, scorer and splitter.
- *
- * :copyright: Copyright 2007-2023 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
  */
 
 var stopwords = ["a", "and", "are", "as", "at", "be", "but", "by", "for", "if", "in", "into", "is", "it", "near", "no", "not", "of", "on", "or", "such", "that", "the", "their", "then", "there", "these", "they", "this", "to", "was", "will", "with"];
 
 
-/* Non-minified version is copied as a separate JS file, is available */
+/* Non-minified version is copied as a separate JS file, if available */
 
 /**
  * Porter Stemmer

utilities/manual/build/html/_static/doctools.js

@@ -5,11 +5,14 @@ import * as Gumshoe from "./gumshoe-patched.js";
 ////////////////////////////////////////////////////////////////////////////////
 var tocScroll = null;
 var header = null;
-var lastScrollTop = window.pageYOffset || document.documentElement.scrollTop;
+var lastScrollTop = document.documentElement.scrollTop;
 const GO_TO_TOP_OFFSET = 64;
 
-function scrollHandlerForHeader() {
-  if (Math.floor(header.getBoundingClientRect().top) == 0) {
+function scrollHandlerForHeader(positionY) {
+  const headerTop = Math.floor(header.getBoundingClientRect().top);
+
+  console.log(`headerTop: ${headerTop}`);
+  if (headerTop == 0 && positionY != headerTop) {
     header.classList.add("scrolled");
   } else {
     header.classList.remove("scrolled");
@@ -62,7 +65,7 @@ function scrollHandlerForTOC(positionY) {
 }
 
 function scrollHandler(positionY) {
-  scrollHandlerForHeader();
+  scrollHandlerForHeader(positionY);
   scrollHandlerForBackToTop(positionY);
   scrollHandlerForTOC(positionY);
 }
@@ -141,7 +144,7 @@ function setupScrollSpy() {
     navClass: "scroll-current",
     offset: () => {
       let rem = parseFloat(getComputedStyle(document.documentElement).fontSize);
-      return header.getBoundingClientRect().height + 0.5 * rem + 1;
+      return header.getBoundingClientRect().height + 2.5 * rem + 1;
     },
   });
 }