From 076bbb38c7ee20373ad9e7fcac1068f8736b651c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Adrien=20T=C3=A9tar?= Date: Sun, 27 Apr 2014 09:07:12 +0300 Subject: [PATCH] rustdoc: style tweaks --- src/librustdoc/html/static/main.css | 33 +++++++++++++++++------------ 1 file changed, 19 insertions(+), 14 deletions(-) diff --git a/src/librustdoc/html/static/main.css b/src/librustdoc/html/static/main.css index db49a5ab18c..15c1d7405ba 100644 --- a/src/librustdoc/html/static/main.css +++ b/src/librustdoc/html/static/main.css @@ -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';