doc/default_theme.rasi