diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2016-05-05 04:46:45 +0200 |
|---|---|---|
| committer | ggomez <guillaume1.gomez@gmail.com> | 2016-05-06 16:48:25 +0200 |
| commit | 083c3952e0d5473cd5c41a9eb7b4ffca18cc8e5f (patch) | |
| tree | 3179e77c0f9eec462ba6eee8bb06f25e53a7374a | |
| parent | 89aa04299451baf73750c8480d14471dfced44db (diff) | |
Update CSS for future rustdoc merge
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index c07871a4029..94b59fe2add 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 { |