🎨

.boussole.json

@@ -1,8 +1,8 @@
 {
-    "SOURCES_PATH": "src/mawek/assets/styles",
-    "TARGET_PATH": "src/mawek/theme/static/styles",
-    "LIBRARY_PATHS": [],
-    "OUTPUT_STYLES": "compressed",
-    "SOURCE_COMMENTS": false,
-    "EXCLUDES": []
+  "SOURCES_PATH": "src/mawek/assets/styles",
+  "TARGET_PATH": "src/mawek/theme/static/styles",
+  "LIBRARY_PATHS": [],
+  "OUTPUT_STYLES": "compressed",
+  "SOURCE_COMMENTS": false,
+  "EXCLUDES": []
 }

src/mawek/__init__.py

@@ -29,10 +29,7 @@ def _html_page_context(app, pagename, templatename, context, doctree):
     # Inject information about styles
     colors = get_pygments_style_colors(
         app.builder.highlighter.formatter_args["style"],
-        fallbacks={
-            "foreground": "#000000",
-            "background": "#FFFFFF",
-        }
+        fallbacks={"foreground": "#000000", "background": "#FFFFFF"},
     )
     context["mawek_pygments"] = colors
 

src/mawek/code.py

@@ -1,7 +1,6 @@
 """Get information about the under-use pygments theme."""
-
-from pygments.token import Text
 from pygments.style import Style
+from pygments.token import Text
 
 
 def get_pygments_style_colors(style, *, fallbacks):

src/mawek/theme/static/scripts/main.js

@@ -8,11 +8,15 @@ function scrollHandler(positionY) {
     header.classList.add("scrolled");
   }
 
-  if (tocScroll === null) { return; }
+  if (tocScroll === null) {
+    return;
+  }
 
   if (positionY == 0) {
     tocScroll.scrollTo(0, 0);
-  } else if (Math.ceil(window.innerHeight + positionY) >= document.body.offsetHeight) {
+  } else if (
+    Math.ceil(window.innerHeight + positionY) >= document.body.offsetHeight
+  ) {
     tocScroll.scrollTo(0, tocScroll.scrollHeight);
   }
 }
@@ -22,11 +26,11 @@ function setupScrollHandler() {
   let last_known_scroll_position = 0;
   let ticking = false;
 
-  window.addEventListener('scroll', function(e) {
+  window.addEventListener("scroll", function (e) {
     last_known_scroll_position = window.scrollY;
 
     if (!ticking) {
-      window.requestAnimationFrame(function() {
+      window.requestAnimationFrame(function () {
         scrollHandler(last_known_scroll_position);
         ticking = false;
       });
@@ -39,7 +43,9 @@ function setupScrollHandler() {
 function setup() {
   setupScrollHandler();
 
-  if (tocScroll === null) { return; }
+  if (tocScroll === null) {
+    return;
+  }
 
   console.log(tocScroll);