$font-family: var(--rui-font-family-monospace);
$font-size: var(--rui-font-size-code);