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

cards: less x padding on small screens 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-07-14 10:50:44 +10:00
parent 626763063c
commit 89b09cb883
No known key found for this signature in database
GPG Key ID: 20A847CE6AB7F5F3
6 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Tutorials/seL4-end.md
View File

@ -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. 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 {% include card.html
icon="puzzle-piece" icon="puzzle-piece"
title="Microkit tutorial" title="Microkit tutorial"

4
examples.html
View File

@ -25,7 +25,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
</div> </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 {% include card_example.html
icon="cloud" icon="cloud"
title="HTTP server" title="HTTP server"
@ -61,7 +61,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
C=true C=true
%} %}
</div> </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 {% include card_example.html
icon="puzzle-piece" icon="puzzle-piece"
title="CAmkES examples" title="CAmkES examples"

10
index.html
View File

@ -30,7 +30,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
Fundamentals Fundamentals
</h2> </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 {% include card.html
icon="arrow-right-end-on-rectangle" icon="arrow-right-end-on-rectangle"
title="Getting started" title="Getting started"
@ -50,7 +50,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
Development Kits &amp; Component Frameworks Development Kits &amp; Component Frameworks
</h2> </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 {% include card.html
icon="puzzle-piece" icon="puzzle-piece"
title="Microkit" title="Microkit"
@ -69,7 +69,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
Language Support Language Support
</h2> </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 {% include card.html
icon="other/C" icon="other/C"
title="C support" title="C support"
@ -89,7 +89,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
Boot and system initialisation Boot and system initialisation
</h2> </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 {% include card.html
icon="play-circle" icon="play-circle"
title="ELF Loader" title="ELF Loader"
@ -109,7 +109,7 @@ SPDX-FileCopyrightText: 2025 Proofcraft Pty Ltd
Systems Systems
</h2> </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 {% include card.html
icon="rocket-launch" icon="rocket-launch"
title="Examples &amp; demos" title="Examples &amp; demos"

2
projects/microkit/index.md
View File

@ -13,7 +13,7 @@ security and performance.
The Microkit is distributed as an SDK that integrates with the build system of 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. 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 {% include card.html
icon="arrow-right-end-on-rectangle" icon="arrow-right-end-on-rectangle"

2
projects/rust/index.md
View File

@ -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)) - 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/)) - 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 {% include card.html
icon="arrow-right-end-on-rectangle" icon="arrow-right-end-on-rectangle"

2
projects/sel4/index.md
View File

@ -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. 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 {% include card.html
icon="arrow-right-end-on-rectangle" icon="arrow-right-end-on-rectangle"