replica-io · sergefdrv · May 30, 2025 · May 28, 2025 · May 28, 2025 · May 28, 2025
diff --git a/...eterministic-concurrency-for-distributed-protocols/bracha-broadcast-from-cb.png b/...eterministic-concurrency-for-distributed-protocols/bracha-broadcast-from-cb.png
diff --git a/...rsible-deterministic-concurrency-for-distributed-protocols/bracha-broadcast.png b/...rsible-deterministic-concurrency-for-distributed-protocols/bracha-broadcast.png
diff --git a/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/buses.png b/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/buses.png
diff --git a/...sketch-of-reversible-deterministic-concurrency-for-distributed-protocols/cb.png b/...sketch-of-reversible-deterministic-concurrency-for-distributed-protocols/cb.png
diff --git a/...-reversible-deterministic-concurrency-for-distributed-protocols/cover-image.png b/...-reversible-deterministic-concurrency-for-distributed-protocols/cover-image.png
diff --git a/...of-reversible-deterministic-concurrency-for-distributed-protocols/cswap-alt.png b/...of-reversible-deterministic-concurrency-for-distributed-protocols/cswap-alt.png
diff --git a/...eterministic-concurrency-for-distributed-protocols/cswap-unspec-ctrl-abbrev.png b/...eterministic-concurrency-for-distributed-protocols/cswap-unspec-ctrl-abbrev.png
diff --git a/...sible-deterministic-concurrency-for-distributed-protocols/cswap-unspec-ctrl.png b/...sible-deterministic-concurrency-for-distributed-protocols/cswap-unspec-ctrl.png
diff --git a/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/cswap.png b/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/cswap.png
diff --git a/...f-reversible-deterministic-concurrency-for-distributed-protocols/def-abbrev.png b/...f-reversible-deterministic-concurrency-for-distributed-protocols/def-abbrev.png
diff --git a/...ketch-of-reversible-deterministic-concurrency-for-distributed-protocols/def.png b/...ketch-of-reversible-deterministic-concurrency-for-distributed-protocols/def.png
diff --git a/...of-reversible-deterministic-concurrency-for-distributed-protocols/delay-alt.png b/...of-reversible-deterministic-concurrency-for-distributed-protocols/delay-alt.png
diff --git a/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/delay.png b/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/delay.png
diff --git a/...ch-of-reversible-deterministic-concurrency-for-distributed-protocols/gossip.png b/...ch-of-reversible-deterministic-concurrency-for-distributed-protocols/gossip.png
diff --git a/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/index.mdx b/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/index.mdx
diff --git a/...etch-of-reversible-deterministic-concurrency-for-distributed-protocols/link.png b/...etch-of-reversible-deterministic-concurrency-for-distributed-protocols/link.png
diff --git a/...reversible-deterministic-concurrency-for-distributed-protocols/merge-signal.png b/...reversible-deterministic-concurrency-for-distributed-protocols/merge-signal.png
diff --git a/...h-of-reversible-deterministic-concurrency-for-distributed-protocols/mux-inf.png b/...h-of-reversible-deterministic-concurrency-for-distributed-protocols/mux-inf.png
diff --git a/...ketch-of-reversible-deterministic-concurrency-for-distributed-protocols/mux.png b/...ketch-of-reversible-deterministic-concurrency-for-distributed-protocols/mux.png
diff --git a/...etch-of-reversible-deterministic-concurrency-for-distributed-protocols/pair.png b/...etch-of-reversible-deterministic-concurrency-for-distributed-protocols/pair.png
diff --git a/...f-reversible-deterministic-concurrency-for-distributed-protocols/rb-quorums.png b/...f-reversible-deterministic-concurrency-for-distributed-protocols/rb-quorums.png
diff --git a/...of-reversible-deterministic-concurrency-for-distributed-protocols/recursion.png b/...of-reversible-deterministic-concurrency-for-distributed-protocols/recursion.png
diff --git a/...ersible-deterministic-concurrency-for-distributed-protocols/replication-box.png b/...ersible-deterministic-concurrency-for-distributed-protocols/replication-box.png
diff --git a/...ch-of-reversible-deterministic-concurrency-for-distributed-protocols/select.png b/...ch-of-reversible-deterministic-concurrency-for-distributed-protocols/select.png
diff --git a/...-30-a-sketch-of-reversible-deterministic-concurrency-for-distributed-protocols/styles.css b/...-30-a-sketch-of-reversible-deterministic-concurrency-for-distributed-protocols/styles.css
@@ -0,0 +1,5 @@
+/* Center images */
+img {
+  display: block;
+  margin: auto;
+}
diff --git a/...h-of-reversible-deterministic-concurrency-for-distributed-protocols/sum-alt.png b/...h-of-reversible-deterministic-concurrency-for-distributed-protocols/sum-alt.png
diff --git a/...h-of-reversible-deterministic-concurrency-for-distributed-protocols/sum-inv.png b/...h-of-reversible-deterministic-concurrency-for-distributed-protocols/sum-inv.png
diff --git a/...ketch-of-reversible-deterministic-concurrency-for-distributed-protocols/sum.png b/...ketch-of-reversible-deterministic-concurrency-for-distributed-protocols/sum.png
diff --git a/...ministic-concurrency-for-distributed-protocols/sync-with-signal-line-abbrev.png b/...ministic-concurrency-for-distributed-protocols/sync-with-signal-line-abbrev.png
diff --git a/...e-deterministic-concurrency-for-distributed-protocols/sync-with-signal-line.png b/...e-deterministic-concurrency-for-distributed-protocols/sync-with-signal-line.png
diff --git a/...etch-of-reversible-deterministic-concurrency-for-distributed-protocols/sync.png b/...etch-of-reversible-deterministic-concurrency-for-distributed-protocols/sync.png
diff --git a/...sible-deterministic-concurrency-for-distributed-protocols/tendermint-height.png b/...sible-deterministic-concurrency-for-distributed-protocols/tendermint-height.png
diff --git a/...rsible-deterministic-concurrency-for-distributed-protocols/tendermint-round.png b/...rsible-deterministic-concurrency-for-distributed-protocols/tendermint-round.png
diff --git a/...f-reversible-deterministic-concurrency-for-distributed-protocols/tendermint.png b/...f-reversible-deterministic-concurrency-for-distributed-protocols/tendermint.png
diff --git a/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/timer.png b/...tch-of-reversible-deterministic-concurrency-for-distributed-protocols/timer.png
diff --git a/...of-reversible-deterministic-concurrency-for-distributed-protocols/transpose.png b/...of-reversible-deterministic-concurrency-for-distributed-protocols/transpose.png
diff --git a/...sketch-of-reversible-deterministic-concurrency-for-distributed-protocols/wb.png b/...sketch-of-reversible-deterministic-concurrency-for-distributed-protocols/wb.png
diff --git a/docusaurus.config.js b/docusaurus.config.js
@@ -3,6 +3,9 @@
 
 import { themes as prismThemes } from 'prism-react-renderer';
 
+import remarkMath from 'remark-math';
+import rehypeKatex from 'rehype-katex';
+
 const lightCodeTheme = prismThemes.github;
 const darkCodeTheme = prismThemes.dracula;
 
@@ -74,8 +77,11 @@ const config = {
         onInlineAuthors: 'throw',
         // Remove this to remove the "edit this page" links.
         editUrl: `${siteGitHubUrl}/edit/main/`,
+        remarkPlugins: [remarkMath],
+        rehypePlugins: [rehypeKatex],
       },
-    ]
+    ],
+    'image-zoom',
   ],
 
   presets: [
@@ -102,6 +108,16 @@ const config = {
     ],
   ],
 
+  stylesheets: [
+    {
+      href: 'https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css',
+      type: 'text/css',
+      integrity:
+        'sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM',
+      crossorigin: 'anonymous',
+    },
+  ],
+
   themeConfig:
     /** @type {import('@docusaurus/preset-classic').ThemeConfig} */
     ({
@@ -228,6 +244,14 @@ const config = {
         darkTheme: darkCodeTheme,
         additionalLanguages: ['bash'],
       },
+      zoom: {
+        selector: '.markdown img',
+        background: {
+          // Using `--ifm-color-white` in light theme because `--ifm-background-color` makes background transparent
+          light: 'var(--ifm-color-white)',
+          dark: 'var(--ifm-background-color)',
+        }
+      }
     }),
 };