/* ui-version: 5 (do not change when modifying theme for yourself) */
$font-family-default: monospace;
@import '/usr/share/astroid/ui/part.scss';