diff --git a/Tutorials/seL4-end.md b/Tutorials/seL4-end.md
index fd0ea961c3..3551f27d2f 100644
--- a/Tutorials/seL4-end.md
+++ b/Tutorials/seL4-end.md
@@ -11,7 +11,7 @@ SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 
 You might want to check out some of the following tutorials as well.
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 pt-8 py-12 sm:py-20 not-prose">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8 py-12 sm:py-20 not-prose">
   {% include card.html
      icon="puzzle-piece"
      title="Microkit tutorial"
diff --git a/examples.html b/examples.html
index 4abf0a76ef..2bc14bb27c 100644
--- a/examples.html
+++ b/examples.html
@@ -25,7 +25,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
 </div>
 
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 pt-8">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8">
   {% include card_example.html
      icon="cloud"
      title="HTTP server"
@@ -61,7 +61,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
      C=true
   %}
 </div>
-<div class="grid grid-cols-1 w-full md:w-1/2 sm:mx-auto px-10 pt-24 pb-12 sm:pb-20">
+<div class="grid grid-cols-1 w-full md:w-1/2 sm:mx-auto px-2 sm:px-10 pt-24 pb-12 sm:pb-20">
   {% include card_example.html
      icon="puzzle-piece"
      title="CAmkES examples"
diff --git a/index.html b/index.html
index 7c3c17c822..f9432b2895 100644
--- a/index.html
+++ b/index.html
@@ -30,7 +30,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
   Fundamentals
 </h2>
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 pt-8 pb-12 sm:pb-20">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8 pb-12 sm:pb-20">
   {% include card.html
      icon="arrow-right-end-on-rectangle"
      title="Getting started"
@@ -50,7 +50,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
   Development Kits &amp; Component Frameworks
 </h2>
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 pt-8 pb-12 sm:pb-20">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8 pb-12 sm:pb-20">
   {% include card.html
      icon="puzzle-piece"
      title="Microkit"
@@ -69,7 +69,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
   Language Support
 </h2>
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 pt-8 pb-12 sm:pb-20">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8 pb-12 sm:pb-20">
   {% include card.html
      icon="other/C"
      title="C support"
@@ -89,7 +89,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
   Boot and system initialisation
 </h2>
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 pt-8 pb-12 sm:pb-20">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 pt-8 pb-12 sm:pb-20">
   {% include card.html
      icon="play-circle"
      title="ELF Loader"
@@ -109,7 +109,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
   Systems
 </h2>
 
-<div class="grid grid-cols-1 sm:w-2/3 md:w-1/2 mx-auto px-10 pt-8 pb-12 sm:pb-20">
+<div class="grid grid-cols-1 sm:w-2/3 md:w-1/2 mx-auto px2 sm:px-10 pt-8 pb-12 sm:pb-20">
   {% include card.html
      icon="rocket-launch"
      title="Examples &amp; demos"
diff --git a/projects/microkit/index.md b/projects/microkit/index.md
index 8f19280115..3a16de197f 100644
--- a/projects/microkit/index.md
+++ b/projects/microkit/index.md
@@ -13,7 +13,7 @@ security and performance.
 The Microkit is distributed as an SDK that integrates with the build system of
 your choice, significantly reducing the barrier to entry for new users of seL4.
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 py-8 md:py-12 not-prose">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 py-8 md:py-12 not-prose">
 
   {% include card.html
      icon="arrow-right-end-on-rectangle"
diff --git a/projects/rust/index.md b/projects/rust/index.md
index 349bcce14a..7ed2084a77 100644
--- a/projects/rust/index.md
+++ b/projects/rust/index.md
@@ -19,7 +19,7 @@ seL4 officially supports the use of Rust in userspace. This support entails:
 - Custom `rustc` target specifications for seL4 userspace ([JSON and docs](https://github.com/seL4/rust-sel4/tree/main/support/targets#readme))
 - Many more crates for use in seL4 userspace ([Sources](https://github.com/seL4/rust-sel4/tree/main/crates/))
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 py-8 md:py-12 not-prose">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 py-8 md:py-12 not-prose">
 
   {% include card.html
      icon="arrow-right-end-on-rectangle"
diff --git a/projects/sel4/index.md b/projects/sel4/index.md
index 2cdef30022..f95ed44818 100644
--- a/projects/sel4/index.md
+++ b/projects/sel4/index.md
@@ -23,7 +23,7 @@ any license, proprietary or open source. The GPL propagation clause of the
 kernel license stops at the kernel/user code boundary.
 
 
-<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-10 py-8 md:py-12 not-prose">
+<div class="grid grid-cols-1 md:grid-cols-2 gap-y-24 gap-x-12 md:gap-x-20 px-2 sm:px-10 py-8 md:py-12 not-prose">
 
   {% include card.html
      icon="arrow-right-end-on-rectangle"