code.svelte-1a5yatm{--code-pad:0;padding:var(--code-pad);font-family:monospace}.pad-0.svelte-1a5yatm{--code-pad:0}.pad-1.svelte-1a5yatm{--code-pad:1rem}.info-box.svelte-1idu44g{--infobox-gap:var(--gap);--infobox-padding:var(--space-4);gap:var(--infobox-gap);border-left:4px solid var(--color-primary);border:1px solid color-mix(in srgb, var(--color-primary) 25%, transparent);border-radius:var(--radius-md);background:color-mix(in srgb, var(--color-primary) 8%, var(--color-bg));padding:var(--infobox-padding);width:100%;color:var(--color-text);border-left-width:4px;flex-direction:column;display:flex}.header.svelte-1idu44g{gap:var(--gap);width:100%;display:inline-flex}.info-content.svelte-1idu44g{gap:var(--gap);padding:0 var(--space-4);width:100%;line-height:var(--line-height-base);flex-direction:column;display:flex}.warning.svelte-1idu44g{border-color:color-mix(in srgb, var(--color-accent) 25%, transparent);border-left-color:var(--color-accent);background:color-mix(in srgb, var(--color-accent) 8%, var(--color-bg))}.success.svelte-1idu44g{--success:var(--rwth-green);border-color:color-mix(in srgb, var(--success) 25%, transparent);border-left-color:var(--success);background:color-mix(in srgb, var(--success) 8%, var(--color-bg))}.error.svelte-1idu44g{--_err:#c0392b;border-color:color-mix(in srgb, var(--_err) 25%, transparent);border-left-color:var(--_err);background:color-mix(in srgb, var(--_err) 8%, var(--color-bg))}.info-icon.svelte-1idu44g{color:var(--color-primary);flex-shrink:0;font-size:1.1rem;line-height:1.5}.warning.svelte-1idu44g .info-icon:where(.svelte-1idu44g){color:var(--color-accent)}.success.svelte-1idu44g .info-icon:where(.svelte-1idu44g){color:var(--rwth-green)}.error.svelte-1idu44g .info-icon:where(.svelte-1idu44g){color:#c0392b}pre.svelte-umaouc{--pre-padding:var(--space-4);--pre-font-size:.8125rem;--pre-font-family:var(--font-mono);border-radius:var(--radius-md);background-color:var(--color-text);padding:var(--pre-padding);width:100%;color:var(--color-text-inverse);font-size:var(--pre-font-size);font-family:var(--pre-font-family);margin:0;overflow-x:auto}