1
Fork 0

Rollup merge of #53747 - GuillaumeGomez:rustdoc-fixes, r=QuietMisdreavus

Rustdoc fixes

Fixes rustdoc not scrolling to given lines and invalid unstable display:

<img width="1440" alt="screen shot 2018-08-27 at 23 28 47" src="https://user-images.githubusercontent.com/3050060/44687252-06535e80-aa51-11e8-8512-d7d34d1cb963.png">

r? @QuietMisdreavus
This commit is contained in:
Pietro Albini 2018-08-30 20:15:40 +02:00 committed by GitHub
commit 2e2980b722
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 0 deletions

View file

@ -242,6 +242,7 @@
}
}
highlightSourceLines(null);
window.onhashchange = highlightSourceLines;
// Gets the human-readable string for the virtual-key code of the

View file

@ -502,6 +502,7 @@ h4 > code, h3 > code, .invisible > code {
margin-left: 33px;
margin-top: -13px;
}
.content .stability::before {
content: '˪';
font-size: 30px;
@ -510,6 +511,10 @@ h4 > code, h3 > code, .invisible > code {
left: -13px;
}
#main > .stability {
margin-top: 0;
}
nav {
border-bottom: 1px solid;
padding-bottom: 10px;