.eud_code{font-family:Google Sans Code;font-size:x-large}.header{padding:var(--mantine-spacing-md);padding-top:0;margin-left:calc(var(--mantine-spacing-md) * -1);margin-right:calc(var(--mantine-spacing-md) * -1);color:var(--mantine-color-black)}[data-mantine-color-scheme=dark] .header{color:var(--mantine-color-white)}.header{border-bottom:1px solid var(--mantine-color-gray-3)}[data-mantine-color-scheme=dark] .header{border-bottom:1px solid var(--mantine-color-dark-4)}