Layout for test status page

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

_layouts/test.html

@@ -0,0 +1,9 @@
+---
+layout: basic
+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">
+  {{ content }}
+</div>

assets/css/sel4.css

@@ -135,16 +135,23 @@ layout: none
          prose-inline-code:px-1.5
          prose-inline-code:pb-px
          prose-inline-code:after:content-none
-         prose-inline-code:before:content-none
-         prose-img:[&[src$=svg]]:p-3
+         prose-inline-code:before:content-none;
+}
+
+@utility theprose-imgs {
+  @apply prose-img:[&[src$=svg]]:p-3
          prose-img:[&[src$=svg]]:lg:p-6
          prose-img:[&[src$=svg]]:rounded-lg
          prose-img:[&[src$=svg]]:bg-white;
 }
 
-@utility theprose {
+@utility theprose-noimg {
   @apply theprose-nodark dark:prose-invert
          prose-li:dark:marker:text-lightercol_inv
+}
+
+@utility theprose {
+  @apply theprose-noimg theprose-imgs
          prose-img:dark:[&[src$=svg]]:bg-gray-100;
 }
 

processes/test-status.md

@@ -1,6 +1,7 @@
 ---
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2022 seL4 Project a Series of LF Projects, LLC.
+layout: test
 ---
 
 <!-- Do not edit. This file is generated by seL4/ci-actions/dashboard/gen-dashboard.py -->