bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Small fixes on code blocks in rustdoc

Browse source
This commit is contained in:
Guillaume Gomez 2018-11-10 21:58:47 +01:00
parent 653da4fd00
commit 0edc9e8395
2 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/librustdoc/html/static/main.js
View file

@ -2262,17 +2262,17 @@
onEach(document.getElementsByClassName('rust-example-rendered'), function(e) { onEach(document.getElementsByClassName('rust-example-rendered'), function(e) {
if (hasClass(e, 'compile_fail')) { if (hasClass(e, 'compile_fail')) {
e.addEventListener("mouseover", function(event) { e.addEventListener("mouseover", function(event) {
e.previousElementSibling.childNodes[0].style.color = '#f00'; this.parentElement.previousElementSibling.childNodes[0].style.color = '#f00';
}); });
e.addEventListener("mouseout", function(event) { e.addEventListener("mouseout", function(event) {
e.previousElementSibling.childNodes[0].style.color = ''; this.parentElement.previousElementSibling.childNodes[0].style.color = '';
}); });
} else if (hasClass(e, 'ignore')) { } else if (hasClass(e, 'ignore')) {
e.addEventListener("mouseover", function(event) { e.addEventListener("mouseover", function(event) {
e.previousElementSibling.childNodes[0].style.color = '#ff9200'; this.parentElement.previousElementSibling.childNodes[0].style.color = '#ff9200';
}); });
e.addEventListener("mouseout", function(event) { e.addEventListener("mouseout", function(event) {
e.previousElementSibling.childNodes[0].style.color = ''; this.parentElement.previousElementSibling.childNodes[0].style.color = '';
}); });
} }
lineNumbersFunc(e); lineNumbersFunc(e);

5
src/librustdoc/html/static/rustdoc.css
View file

@ -284,6 +284,7 @@ nav.sub {
body:not(.source) .example-wrap { body:not(.source) .example-wrap {
display: inline-flex; display: inline-flex;
margin-bottom: 10px;
} }
.example-wrap { .example-wrap {
@ -303,6 +304,10 @@ body:not(.source) .example-wrap > pre.rust {
width: 100%; width: 100%;
} }
body:not(.source) .example-wrap > pre {
margin: 0;
}
#search { #search {
margin-left: 230px; margin-left: 230px;
position: relative; position: relative;