// Placeholder to allow overriding predefined variables smoothly.
$code-font-family: 'JuliaMono';