rustdoc: remove unused ID mainThemeStyle
This was added in003b2bc1c6
and used to build the URL of the theme stylesheets. It isn't used any more, becausef9e1f6ffdf
changed it so that the URL was supplied in a `<meta>` tag, which also provides the hashes of the files.
This commit is contained in:
parent
70c7e4d21c
commit
00b7d70710
@ -1574,7 +1574,6 @@ fn init_id_map() -> FxHashMap<Cow<'static, str>, usize> {
|
||||
map.insert("crate-search-div".into(), 1);
|
||||
// This is the list of IDs used in HTML generated in Rust (including the ones
|
||||
// used in tera template files).
|
||||
map.insert("mainThemeStyle".into(), 1);
|
||||
map.insert("themeStyle".into(), 1);
|
||||
map.insert("settings-menu".into(), 1);
|
||||
map.insert("help-button".into(), 1);
|
||||
|
@ -15,8 +15,7 @@
|
||||
<link rel="stylesheet" {#+ #}
|
||||
href="{{static_root_path|safe}}{{files.normalize_css}}"> {# #}
|
||||
<link rel="stylesheet" {#+ #}
|
||||
href="{{static_root_path|safe}}{{files.rustdoc_css}}" {#+ #}
|
||||
id="mainThemeStyle"> {# #}
|
||||
href="{{static_root_path|safe}}{{files.rustdoc_css}}"> {# #}
|
||||
{% if !layout.default_settings.is_empty() %}
|
||||
<script id="default-settings" {#+ #}
|
||||
{%~ for (k, v) in layout.default_settings ~%}
|
||||
|
Loading…
Reference in New Issue
Block a user