bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #40888 - wesleywiser:rustdoc_src_sidebar, r=GuillaumeGomez

Browse source 
Make the rustdoc sidebar white on `src` pages

Fixes #40724
This commit is contained in:
Corey Farwell 2017-03-31 11:43:33 -04:00 • committed by GitHub
commit 488a7b3945
3 changed files with 9 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/librustdoc/html/layout.rs
View file

@ -54,7 +54,7 @@ r##"<!DOCTYPE html>
{favicon} {favicon}
{in_header} {in_header}
</head> </head>
<body class="rustdoc"> <body class="rustdoc {css_class}">
<!--[if lte IE 8]> <!--[if lte IE 8]>
<div class="warning"> <div class="warning">
This old browser is unsupported and will most likely display funky This old browser is unsupported and will most likely display funky
@ -80,7 +80,7 @@ r##"<!DOCTYPE html>
</form> </form>
</nav> </nav>
<section id='main' class="content {css_class}">{content}</section> <section id='main' class="content">{content}</section>
<section id='search' class="content hidden"></section> <section id='search' class="content hidden"></section>
<section class="footer"></section> <section class="footer"></section>

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

@ -141,7 +141,7 @@ pre {
padding: 14px; padding: 14px;
} }
.source pre { .source .content pre {
padding: 20px; padding: 20px;
} }
@ -149,7 +149,7 @@ img {
max-width: 100%; max-width: 100%;
} }
.content.source { .source .content {
margin-top: 50px; margin-top: 50px;
max-width: none; max-width: none;
overflow: visible; overflow: visible;
@ -231,7 +231,7 @@ nav.sub {
padding: 15px 0; padding: 15px 0;
} }
.content.source pre.rust { .source .content pre.rust {
white-space: pre; white-space: pre;
overflow: auto; overflow: auto;
padding-left: 0; padding-left: 0;

4
src/librustdoc/html/static/styles/main.css
View file

@ -45,6 +45,10 @@ pre {
background-color: #fff; background-color: #fff;
} }
.source .sidebar {
background-color: #fff;
}
.sidebar .location { .sidebar .location {
border-color: #000; border-color: #000;
background-color: #fff; background-color: #fff;