Update mdbook-catppuccin, lock mdbook dependencies (#818)

UniMath · Oct 8, 2023 · 9494dbe · 9494dbe
1 parent 9d15032
commit 9494dbe
Show file tree

Hide file tree

Showing 8 changed files with 1,171 additions and 762 deletions.
diff --git a/Makefile b/Makefile
@@ -114,11 +114,11 @@ pre-commit:
 	@make check
 
 install-website-dev:
-	@cargo install mdbook
-	@cargo install mdbook-linkcheck
-	@cargo install mdbook-katex
-	@cargo install mdbook-pagetoc
-	@cargo install mdbook-catppuccin
+	@cargo install mdbook@0.4.34
+	@cargo install mdbook-linkcheck@0.7.7
+	@cargo install mdbook-katex@0.5.7
+	@cargo install mdbook-pagetoc@0.1.7
+	@cargo install mdbook-catppuccin@1.2.0
 
 .PHONY: unused-imports
 unused-imports:

diff --git a/book.toml b/book.toml
@@ -22,7 +22,7 @@ inline-delimiter = {left = "$", right = "$"}
 macros = "website/latex-macros.txt"
 
 [preprocessor.catppuccin]
-assets_version = "0.2.1" # DO NOT EDIT: Managed by `mdbook-catppuccin install`
+assets_version = "1.2.0" # DO NOT EDIT: Managed by `mdbook-catppuccin install`
 
 [preprocessor.git-metadata]
 command = "python3 ./scripts/preprocessor_git_metadata.py"
@@ -57,7 +57,7 @@ additional-css = [
   "website/css/Agda-highlight.css",
   "website/css/agda-logo.css",
   "theme/catppuccin.css",
-  "theme/catppuccin-highlight.css",
+  "theme/catppuccin-admonish.css",
   "theme/pagetoc.css",
 ]
 additional-js = [

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -6,7 +6,7 @@
     nixpkgs.url = "github:NixOS/nixpkgs/nixpkgs-unstable";
     flake-utils.url = "github:numtide/flake-utils";
     mdbook-catppuccin = {
-      url = "github:catppuccin/mdBook";
+      url = "github:catppuccin/mdBook/v1.2.0";
       inputs.nixpkgs.follows = "nixpkgs";
     };
   };

diff --git a/scripts/generate_agda_css.py b/scripts/generate_agda_css.py
@@ -5,12 +5,12 @@
 
 # In mdbook-catppuccin this is merged to catppuccin.css, so we'll need
 # to update this script accordingly
-CATPPUCCIN_HIGHLIGHT_FILE = 'theme/catppuccin-highlight.css'
+CATPPUCCIN_HIGHLIGHT_FILE = 'theme/catppuccin.css'
 AGDA_HIGHLIGHT_FILE = 'website/css/Agda-highlight.css'
 
 # First group -> theme name
 # Second group -> token class
-SELECTOR_HLJS_REGEX = re.compile(r'^\.(\w+) code \.hljs-(.+?) {')
+SELECTOR_HLJS_REGEX = re.compile(r'^\.(\w+) \.hljs-(.+?) {')
 
 # First group -> theme name
 SELECTOR_CODE_REGEX = re.compile(r'^\.(\w+) code {')