doc/default_theme.rasi doc/default_configuration.rasi