OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rustdoc: style tweaks

Browse Source
This commit is contained in:
Adrien Tétar 2014-04-27 09:07:12 +03:00
parent b7dba3300e
commit 076bbb38c7
1 changed files with 19 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
src/librustdoc/html/static/main.css
View File

@ -53,17 +53,25 @@
body {
color: #333;
min-width: 500px;
font: 18px "Heuristica", "Helvetica Neue", Helvetica, Arial, sans-serif;
line-height: 1.4;
font: 15px/1.4 "Heuristica", "Helvetica Neue", Helvetica, Arial, sans-serif;
margin: 0;
position: relative;
padding: 10px 15px 20px 15px;
}
h1 {
font-size: 1.5em;
}
h2 {
font-size: 1.4em;
}
h3 {
font-size: 1.3em;
}
h1, h2, h3:not(.impl), h4:not(.method) {
color: black;
font-weight: 500;
margin: 30px 0 15px 0;
margin: 20px 0 15px 0;
padding-bottom: 6px;
}
h1.fqn {
@ -93,7 +101,7 @@ ul ul, ol ul, ul ol, ol ol {
}
p {
margin: 0 0 1em 0;
margin: 0 0 .6em 0;
}
code, pre {
@ -101,19 +109,15 @@ code, pre {
white-space: pre-wrap;
}
pre {
font-size: 15px;
background-color: #F5F5F5;
padding: 14px;
padding-right: 0;
border-left: 2px solid #eee;
}
.source pre {
border-left: none;
padding: 20px;
}
nav.sub {
padding-top: 10px;
font-size: 16px;
text-transform: uppercase;
}
@ -149,7 +153,7 @@ nav.sub {
}
.block {
padding: 10px;
padding: 0 10px;
margin-bottom: 10px;
}
.block h2 {
@ -170,7 +174,7 @@ nav.sub {
}
.content {
padding: 20px 0;
padding: 15px 0;
}
.content.source pre.rust {
@ -209,7 +213,6 @@ nav.sub {
}
.docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 {
margin: 30px 0 15px 0;
border-bottom: 1px solid #DDD;
}
@ -389,10 +392,12 @@ pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
pre.rust .lifetime { color: #B76514; }
.section-header {
/* Override parent class attributes. */
border-bottom: none !important;
font-size: 1.1em !important;
margin: 0 !important;
padding: 0 !important;
font-weight: 400;
margin: 0 0 -5px;
padding: 0;
}
.section-header:hover a:after {
content: '\2002\00a7\2002';