Change height

This commit is contained in:
Robin van der Linde 2024-02-13 12:19:28 +01:00
parent 55cde117d7
commit 302289c36e
Signed by: Robin-van-der-Linde
GPG key ID: 53956B3252478F0D

View file

@ -185,12 +185,12 @@
<Region configs={perRegion["expert"]} {state} />
</div>
<div slot="title5">Configuration file</div>
<div slot="content5">
<div slot="content5" class="h-full">
<div>
Below, you'll find the raw configuration file in `.json`-format. This is mostly for
debugging purposes, but you can also edit the file directly if you want.
</div>
<div class="literal-code h-64 w-full">
<div class="literal-code h-full w-full">
<RawEditor {state} />
</div>