asterinas · chrihop · Jul 1, 2026 · Jul 2, 2026 · Jul 20, 2026 · Jul 29, 2026
diff --git a/_config.yml b/_config.yml
@@ -24,7 +24,7 @@ description: >- # this means to ignore newlines until "baseurl:"
   Asterinas is an open-source community to advance Rust-based OSes
 baseurl: "" # the subpath of your site, e.g. /blog
 url: asterinas.github.io
-github_username:  asterinas
+github_username: asterinas
 
 # Build settings
 theme: minima

diff --git a/_layouts/post.html b/_layouts/post.html
@@ -8,6 +8,19 @@
   <link rel="shortcut icon" type="image/x-icon" href="/assets/images/Asterinas icon (in blue).svg">
   <link rel="stylesheet" href="/css/post.css" media="screen and (min-width: 769px)">
   <link rel="stylesheet" href="/css/post-mobile.css" media="screen and (max-width: 768px)">
+  <script>
+    window.MathJax = {
+      tex: {
+        inlineMath: [['$', '$'], ['\\(', '\\)']],
+        displayMath: [['$$', '$$'], ['\\[', '\\]']],
+        processEscapes: true
+      },
+      options: {
+        skipHtmlTags: ['script', 'noscript', 'style', 'textarea', 'pre', 'code']
+      }
+    };
+  </script>
+  <script defer src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml.js" id="MathJax-script"></script>
 </head>
 
 <body>

diff --git a/_posts/2026-07-03-verifying-ostd-soundness.md b/_posts/2026-07-03-verifying-ostd-soundness.md
diff --git a/assets/images/.DS_Store b/assets/images/.DS_Store
diff --git a/assets/images/verifying-ostd-soundness/horizontal.png b/assets/images/verifying-ostd-soundness/horizontal.png
diff --git a/assets/images/verifying-ostd-soundness/soundness_correctness.png b/assets/images/verifying-ostd-soundness/soundness_correctness.png
diff --git a/assets/images/verifying-ostd-soundness/subset.png b/assets/images/verifying-ostd-soundness/subset.png
diff --git a/assets/images/verifying-ostd-soundness/tootsie_pop.png b/assets/images/verifying-ostd-soundness/tootsie_pop.png
diff --git a/assets/images/verifying-ostd-soundness/write_pte.png b/assets/images/verifying-ostd-soundness/write_pte.png
diff --git a/css/post-mobile.css b/css/post-mobile.css
@@ -786,4 +786,10 @@ p .language-plaintext {
     width: 100%;
     height: 100%;
     border: 0; /* Ensures no extra border from the iframe */
-}
+}
+
+mjx-container {
+  overflow-x: auto;
+  overflow-y: hidden;
+  max-width: 100%;
+}
diff --git a/css/post.css b/css/post.css
@@ -831,4 +831,11 @@ p img {
     width: 100%;
     height: 100%;
     border: 0; /* Ensures no extra border from the iframe */
-}
+}
+
+/* MathJax (LaTeX) — scroll wide formulas on narrow viewports */
+mjx-container {
+  overflow-x: auto;
+  overflow-y: hidden;
+  max-width: 100%;
+}