._panel_15v8x_1{height:100%}._mono_15v8x_5{font-family:var(--mantine-font-family-monospace)}