fix s3 deploy trigger + minor style adjustments

.github/workflows/build-tests-ubuntu.yml → .github/workflows/build-tests.yml

@@ -1,4 +1,4 @@
-name: Build documentation
+name: Build tests
 
 on:
   push:
@@ -13,8 +13,14 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: ["ubuntu-22.04"]
-        python-version: ["3.8", "3.9", "3.10", "3.11"]
+        os: ["ubuntu-24.04"]
+        python-version:
+          - "3.8"
+          - "3.9"
+          - "3.10"
+          - "3.11"
+          - "3.12"
+          - "3.13"
 
     steps:
       - name: Checkout repository and submodules

.github/workflows/update.yml → .github/workflows/s3-deploy.yml

@@ -1,20 +1,17 @@
-name: Update S3 sources
+name: Update S3 deploy
+
 on:
   push:
     branches:
       - 'master'
-  pull_request:
-    types:
-      - closed
-    branches:
-      - 'master'
   schedule:
     - cron: '0 0 1 1 *'
   workflow_dispatch:
+
 jobs:
   build:
     name: Deploy docs
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-24.04
     env:
       AWS_ACCESS_KEY_ID: ${{ secrets.S3_ACCESS_KEY }}
       AWS_SECRET_ACCESS_KEY: ${{ secrets.S3_SECRET_KEY }}

README.md

@@ -6,7 +6,7 @@
 
 For a quick installation:
 
-1. Install dependencies: python 3 (tested on Python `3.8`-`3.11`), `pip`, `curl`, [`virtualenv`](https://virtualenv.pypa.io/en/latest/installation/), git, [git-lfs](https://git-lfs.github.com/).
+1. Install dependencies: python 3 (tested on Python `3.8`-`3.13`), `pip`, `curl`, [`virtualenv`](https://virtualenv.pypa.io/en/latest/installation/), git, [git-lfs](https://git-lfs.github.com/).
 
 2. Clone this repository:
 

extra/css/general.css

@@ -53,6 +53,10 @@ footer {
     color: #551A8B;
 }
 
+.md-main a:visited:hover {
+    color: var(--md-accent-fg-color);
+}
+
 /* --------------------------------------------------------- *
  *                  GENERIC CLASSES
  * --------------------------------------------------------- */

netlify.toml

@@ -4,4 +4,4 @@
 
 [build.environment]
   PYTHON_VERSION = "3.8"
-  NODE_VERSION = "18"
+  NODE_VERSION = "20"