site: update package

Author: will-break-it

site/agda-docs.config.json

@@ -1,6 +1,6 @@
 {
   "backButtonUrl": "/formal-spec/",
   "inputDir": "./static/formal-spec",
-  "modules": ["Leios", "Cardano", "Ouroboros"],
+  "modules": ["Leios", "Cardano", "Network", "Ouroboros"],
   "githubUrl": "https://github.com/input-output-hk/ouroboros-leios-formal-spec"
 } 

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.6.0",
+    "agda-web-docs-lib": "^0.7.1",
     "clsx": "^2.0.0",
     "prism-react-renderer": "^2.3.0",
     "react": "^18.0.0",

site/package.json

@@ -2406,10 +2406,10 @@ address@^1.0.1, address@^1.1.2:
   resolved "https://registry.npmjs.org/address/-/address-1.2.2.tgz"
   integrity sha512-4B/qKCfeE/ODUaAUpSwfzazo5x29WD4r3vXiWsB7I2mSDAihwEqKO+g8GELZUQSSAo5e1XTYh3ZVfLyxBc12nA==
 
-agda-web-docs-lib@^0.6.0:
-  version "0.6.0"
-  resolved "https://registry.npmjs.org/agda-web-docs-lib/-/agda-web-docs-lib-0.6.0.tgz"
-  integrity sha512-iLgP+F/0HaxnjxSp89DONIH77DPhwgk5dkWq3c4MoVplajVeiT8JWYgvOo68dERZNpci415vBDq85Sfl75yCjw==
+agda-web-docs-lib@^0.7.1:
+  version "0.7.1"
+  resolved "https://registry.npmjs.org/agda-web-docs-lib/-/agda-web-docs-lib-0.7.1.tgz"
+  integrity sha512-Ghwj8O+XbrCKCgYOIKKzbilzqNIirqdW3zOYPPTkFj5guu3sD+QAdT0zzJlBW6kP6yZnq3E6cQI3x6i647w5lw==
   dependencies:
     commander "^12.0.0"
     fs-extra "^11.1.1"