<gh_stars>0
# Default settings for all tests.

settings_overrides['report_level'] = 2
settings_overrides['halt_level'] = 5
settings_overrides['warning_stream'] = ''
settings_overrides['input_encoding'] = 'utf-8'
settings_overrides['embed_stylesheet'] = False
settings_overrides['auto_id_prefix'] = '%'
# avoid "Pygments not found"
settings_overrides['syntax_highlight'] = 'none'

# Default settings for all tests.

settings_overrides['report_level'] = 2
settings_overrides['halt_level'] = 5
settings_overrides['warning_stream'] = ''
settings_overrides['input_encoding'] = 'utf-8'
settings_overrides['embed_stylesheet'] = False
settings_overrides['auto_id_prefix'] = '%'
# avoid "Pygments not found"
settings_overrides['syntax_highlight'] = 'none'
# Default settings for all tests. # avoid "Pygments not found"