Docs/update tailwind and docusaurus

[roynakakawa]

Content

• Updated Tailwind to latest version v4.3.3 and Docusaurus to v3.10.2.
• Fixed styling issues by overriding Infima defaults on custom.css.
• Removed dead rules in custom.css.
• Fixed customized admonition titles on blog and ADR.
• Enabled future flags for Docusaurus v4.
• Updated Prettier to latest version v3.9.6.

Pre-submit checklist

• PR
  • All check jobs of the CI have succeeded
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

Comments

Issue(s)

This PR closes #3413 and #3414

[Copilot]

Pull request overview

This PR upgrades the documentation website stack (Docusaurus + Tailwind) and adjusts the site/theme styling and markdown to remain compatible, including enabling Docusaurus v4 “future” flags and updating custom CSS/component classes.

Changes:

• Upgrade Docusaurus packages to ^3.10.2 and Tailwind to ^4.3.3, adding the Tailwind PostCSS plugin.
• Replace the inline Tailwind PostCSS configuration with a dedicated plugin and update custom.css to Tailwind v4 import/theme patterns plus Infima overrides.
• Update multiple markdown files (docs + blog) for updated admonition title syntax and minor formatting tweaks.

Reviewed changes

Copilot reviewed 26 out of 27 changed files in this pull request and generated 1 comment.

Show a summary per file

File	Description
docs/website/versioned_docs/version-maintained/mithril/advanced/threat-model.md	Update admonition title syntax and minor spacing/formatting.
docs/website/versioned_docs/version-maintained/mithril/advanced/mithril-protocol/protocol.md	Update admonition title syntax and minor formatting.
docs/website/versioned_docs/version-maintained/manual/operate/run-signer-node.md	Minor markdown list spacing adjustments.
docs/website/versioned_docs/version-maintained/manual/operate/run-aggregator-node.md	Minor markdown list spacing adjustments.
docs/website/versioned_docs/version-maintained/manual/develop/nodes/mithril-client-library-wasm.md	Update admonition title syntax.
docs/website/tailwind.config.ts	Remove Tailwind v3-era config file.
docs/website/src/theme/Navbar/Layout/index.tsx	Adjust navbar layout class list for Tailwind v4 styling changes.
docs/website/src/theme/Navbar/Content/index.tsx	Consolidate social link styling via a shared class.
docs/website/src/theme/Footer/Logo/index.tsx	Move footer logo text styling into a dedicated CSS class.
docs/website/src/theme/Footer/Links/MultiColumn/index.tsx	Adjust footer list classes and spacing utilities.
docs/website/src/theme/Footer/LinkItem/index.tsx	Add a stable class name for footer link item styling.
docs/website/src/plugins/plugin-tailwind.ts	New Tailwind PostCSS plugin hook for Docusaurus.
docs/website/src/css/custom.css	Switch to Tailwind v4 imports/@theme and add Infima override rules; remove some dead rules.
docs/website/src/components/WhyMithril.tsx	Adjust spacing utility class names.
docs/website/src/components/UseCases.tsx	Adjust spacing/leading utility class names.
docs/website/src/components/HomepageHero.tsx	Adjust navbar-height spacing handling and centralize hero title styling.
docs/website/src/components/Features.tsx	Adjust leading/spacing utility class names.
docs/website/src/components/AnimatedText.tsx	Adjust layout sizing and centralize heading styling.
docs/website/root/mithril/advanced/threat-model.md	Keep root docs version aligned with versioned docs formatting changes.
docs/website/root/mithril/advanced/mithril-protocol/protocol.md	Keep root docs version aligned with versioned docs formatting changes.
docs/website/root/manual/operate/run-signer-node.md	Keep root docs version aligned with versioned docs formatting changes.
docs/website/root/manual/operate/run-aggregator-node.md	Keep root docs version aligned with versioned docs formatting changes.
docs/website/package.json	Bump Docusaurus + Tailwind versions; add @tailwindcss/postcss and postcss.
docs/website/package-lock.json	Lockfile updates reflecting dependency bumps and new Tailwind v4 dependency tree.
docs/website/docusaurus.config.js	Enable v4 future flags and switch Tailwind integration to the new plugin (note: requires config fix).
docs/website/blog/2026-01-06-multiple-aggregators-testing-program.md	Update admonition title syntax in blog markdown.
docs/website/blog/2026-01-06-dmq-testing-program.md	Update admonition title syntax in blog markdown.

Files not reviewed (1)

• docs/website/package-lock.json: Generated file

[github-actions]

Test Results

     5 files  ± 0     209 suites  ±0   1h 0m 44s ⏱️ - 2h 14m 22s
 3 310 tests  - 76   3 310 ✅  - 76  0 💤 ±0  0 ❌ ±0 
11 036 runs   - 85  11 036 ✅  - 85  0 💤 ±0  0 ❌ ±0 

Results for commit 028d727. ± Comparison against base commit 936eadd.

This pull request removes 76 tests.

mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::index_out_of_bounds
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::index_too_large_for_circuit_range
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::indices_not_increasing
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::leaf_merkle_path_mismatch
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::leaf_swap_keep_merkle_path
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::leaf_wrong_verification_key
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_corrupt_sibling
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_flip_position
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_length_long
mithril-stm ‑ circuits::halo2::tests::golden::cases::negative::slow::merkle_path_length_short
…

♻️ This comment has been updated with latest results.