Documentation - warning header styles not loaded #2444
Description
The documentation looks like this:
Half of the page is covered by the warning header. From what I can see, rustdoc adds the necessary css file to the root folder (i.e., it creates a theme.css file), while the actual website tries to find it under static.files/theme.css.
I am definitely not an expert here, but, from what I've tried, you can solve the problem by using html-in-header instead of extend-css. The extra CSS can be wrapped in a <style> tag, making it a perfectly valid HTML to include in the header:
... --html-in-header assets/warning.css --html-in-header assets/noindex.html ...
I can send a PR, but let me know if there's a better way.
Side note
It pains me to see the actual CSS content, even after the fix, rendered on a mobile screen, but that's a separate problem.