secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

test status: bottom border for line breaks 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-14 19:03:24 +10:00
parent 36097b39ad
commit c3a0dc8f78
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_layouts/test.html
View File

@ -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>