playground_url,
sort_modules_alphabetically,
themes: style_files,
+ default_settings,
extension_css,
resource_suffix,
static_root_path,
logo: String::new(),
favicon: String::new(),
external_html,
+ default_settings,
krate: krate.name.clone(),
css_file_extension: extension_css,
generate_search_filter,