diff options
| -rw-r--r-- | src/librustdoc/html/static/main.js | 1 | ||||
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 5 |
2 files changed, 6 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/main.js b/src/librustdoc/html/static/main.js index 88c25567d29..51ed6267829 100644 --- a/src/librustdoc/html/static/main.js +++ b/src/librustdoc/html/static/main.js @@ -242,6 +242,7 @@ } } + highlightSourceLines(null); window.onhashchange = highlightSourceLines; // Gets the human-readable string for the virtual-key code of the diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index ffe6a40b369..870b024a3ba 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -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; |
