From becd45be80f681b34bdd4f6b959afa29fa2d32a2 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sun, 22 Oct 2017 16:08:31 +0200 Subject: [PATCH 1/2] Fix title heading overlap in rust doc --- src/librustdoc/html/static/rustdoc.css | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 18270654aa93c..1d6f60b481a1f 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -529,7 +529,8 @@ a { .content .search-results td:first-child { padding-right: 0; } .content .search-results td:first-child a { padding-right: 10px; } -tr.result span.primitive::after { content: ' (primitive type)'; font-style: italic; color: black; +tr.result span.primitive::after { + content: ' (primitive type)'; font-style: italic; color: black; } body.blur > :not(#help) { @@ -745,6 +746,14 @@ span.since { margin-top: 5px; } +.docblock > .section-header:first-child { + margin-left: 15px; +} + +.docblock > .section-header:first-child:hover > a:before { + left: -10px; +} + .enum > .collapsed, .struct > .collapsed { margin-bottom: 25px; } From 237ad82f3cea85ff1272701b3d6ebc9641fd308e Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sun, 22 Oct 2017 16:11:07 +0200 Subject: [PATCH 2/2] Remove useless top margin on first heading --- src/librustdoc/html/static/rustdoc.css | 1 + 1 file changed, 1 insertion(+) diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 1d6f60b481a1f..16551a4ffb0a8 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -748,6 +748,7 @@ span.since { .docblock > .section-header:first-child { margin-left: 15px; + margin-top: 0; } .docblock > .section-header:first-child:hover > a:before {