From 083c3952e0d5473cd5c41a9eb7b4ffca18cc8e5f Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Thu, 5 May 2016 04:46:45 +0200 Subject: [PATCH] Update CSS for future rustdoc merge --- src/librustdoc/html/static/rustdoc.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index c07871a4029ca..94b59fe2addfd 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -270,6 +270,11 @@ nav.sub { padding: 0px; text-align: right; display: inline-block; + font-weight: normal; +} + +h3.impl > .out-of-band { + font-size: 21px; } .content .in-band {