rustdoc: fixes

This commit is contained in:
Adrien Tétar 2014-04-25 16:56:39 +09:00
parent 66486518d5
commit 22160014a4
3 changed files with 7 additions and 8 deletions
src
doc
librustdoc/html

View File

@ -1 +1 @@
<link rel="shortcut icon" href="http://www.rust-lang.org/favicon.ico" /> <link rel="shortcut icon" href="http://www.rust-lang.org/favicon.ico">

View File

@ -38,11 +38,11 @@ r##"<!DOCTYPE html>
<title>{title}</title> <title>{title}</title>
<link href='http://fonts.googleapis.com/css?family=Source+Sans+Pro:400,600' <link href='http://fonts.googleapis.com/css?family=Source+Code+Pro:400,600'
rel='stylesheet' type='text/css'> rel='stylesheet' type='text/css'>
<link rel="stylesheet" type="text/css" href="{root_path}main.css"> <link rel="stylesheet" type="text/css" href="{root_path}main.css">
{favicon, select, none{} other{<link rel="shortcut icon" href="#" />}} {favicon, select, none{} other{<link rel="shortcut icon" href="#">}}
</head> </head>
<body> <body>
<!--[if lte IE 8]> <!--[if lte IE 8]>

View File

@ -63,7 +63,7 @@ body {
h1, h2, h3:not(.impl), h4:not(.method) { h1, h2, h3:not(.impl), h4:not(.method) {
color: black; color: black;
font-weight: 500; font-weight: 500;
margin: 30px 0 20px 0; margin: 30px 0 15px 0;
padding-bottom: 6px; padding-bottom: 6px;
} }
h1.fqn { h1.fqn {
@ -81,7 +81,7 @@ h3.impl, h4.method {
h3.impl { h3.impl {
margin-top: 15px; margin-top: 15px;
} }
h1, h2, h3, h4, section.sidebar, a.source, .content a.mod, .search-input { h1, h2, h3, h4, section.sidebar, a.source, .search-input, .content table a {
font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif; font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
} }
@ -164,7 +164,7 @@ nav.sub {
padding: 20px 0; padding: 20px 0;
} }
.content pre { padding: 20px; } .content pre { padding: 14px; }
.content.source pre.rust { .content.source pre.rust {
white-space: pre; white-space: pre;
overflow: auto; overflow: auto;
@ -201,8 +201,7 @@ nav.sub {
} }
.docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 { .docblock h1, .docblock h2, .docblock h3, .docblock h4, .docblock h5 {
margin: 40px 0 10px 0; margin: 30px 0 15px 0;
padding: 10px 0;
border-bottom: 1px solid #DDD; border-bottom: 1px solid #DDD;
} }