site: update agda files

Author: will-break-it

site/package-lock.json

@@ -19,7 +19,7 @@
     "@docusaurus/core": "3.4.0",
     "@docusaurus/preset-classic": "3.4.0",
     "@mdx-js/react": "^3.0.0",
-    "agda-web-docs-lib": "^0.4.2",
+    "agda-web-docs-lib": "^0.5.1",
     "clsx": "^2.0.0",
     "prism-react-renderer": "^2.3.0",
     "react": "^18.0.0",

site/package.json

@@ -33,5 +33,5 @@ if [ ! -f "$CONFIG_PATH" ]; then
     exit 1
 fi
 
-# Process HTML files using the agda-web-docs-lib
-cd "$SITE_DIR" && NODE_OPTIONS="--max-old-space-size=16384" npx agda-web-docs-lib process "$FORMAL_SPEC_DIR" "$CONFIG_PATH"
+# Process HTML files using the agda-web-docs-lib with memory-efficient settings
+cd "$SITE_DIR" && NODE_OPTIONS="--max-old-space-size=6144" npx agda-web-docs-lib process "$FORMAL_SPEC_DIR" "$CONFIG_PATH"