From c3a0dc8f78dbe8187c78e7fc9d8eb5ae9280c4fc Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Mon, 14 Jul 2025 19:03:24 +1000
Subject: [PATCH] test status: bottom border for line breaks

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 _layouts/test.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/test.html b/_layouts/test.html
index c66b379e08..c3db1661f5 100644
--- a/_layouts/test.html
+++ b/_layouts/test.html
@@ -4,6 +4,6 @@ SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---
 
-<div class="mb-10 mt-4 max-w-6xl mx-auto theprose-noimg prose-img:inline-block prose-img:my-0 prose-img:mx-2">
+<div class="mb-10 mt-4 max-w-6xl mx-auto theprose-noimg prose-img:inline-block prose-img:mt-0 prose-img:mb-1 prose-img:mx-2">
   {{ content }}
 </div>