</style>\
</head>\
<body class=\"rustdoc {css_class}\">\
- <!--[if lte IE 8]>\
+ <!--[if lte IE 11]>\
<div class=\"warning\">\
This old browser is unsupported and will most likely display funky \
things.\
</button>\
<div id=\"theme-choices\" role=\"menu\"></div>\
</div>\
- <script src=\"{static_root_path}theme{suffix}.js\"></script>\
<nav class=\"sub\">\
<form class=\"search-form\">\
<div class=\"search-container\">\
</nav>\
<section id=\"main\" class=\"content\">{content}</section>\
<section id=\"search\" class=\"content hidden\"></section>\
- <section class=\"footer\"></section>\
{after_content}\
<div id=\"rustdoc-vars\" data-root-path=\"{root_path}\" data-current-crate=\"{krate}\" \
- data-search-js=\"{root_path}search-index{suffix}.js\"></div>
+ data-search-index-js=\"{root_path}search-index{suffix}.js\" \
+ data-search-js=\"{static_root_path}search{suffix}.js\"></div>
<script src=\"{static_root_path}main{suffix}.js\"></script>\
{extra_scripts}\
</body>\