Better CSS for the JSON editor

This commit is contained in:
Magnus Åhall 2025-07-07 08:52:37 +02:00
parent 25bbc0c748
commit 4e834766ac
8 changed files with 271 additions and 9 deletions

View file

@ -1,9 +1,17 @@
:root {
--textsize: 12pt;
--je-color: #73a44d;
--border-radius: 5px;
}
html {
box-sizing: border-box;
font-family: sans-serif;
font-size: 14pt;
margin: 0px;
padding: 0px;
font-family: "Roboto", sans-serif;
font-optical-sizing: auto;
font-weight: 400;
font-style: normal;
font-size: var(--textsize);
}
body {
margin: 0px;