From 87060c42ff2e912379af41c174885bd93f0ddfda Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Tue, 11 Oct 2022 14:46:49 -0700 Subject: [PATCH 1/2] rustdoc: remove unused CSS `nav.sum` This was added in 4fd061c426902b0904c65e64a3780b21f9ab3afb, but never actually used. --- src/librustdoc/html/static/css/rustdoc.css | 1 - 1 file changed, 1 deletion(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 661aed71298d9..ec7ede010538f 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -718,7 +718,6 @@ nav.sub { .source nav.sub { margin-left: 32px; } -nav.sum { text-align: right; } nav.sub form { display: inline; } a { From 46169e66583f6f2abf9136fff2b60aabaf1f4014 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Tue, 11 Oct 2022 15:05:22 -0700 Subject: [PATCH 2/2] rustdoc: merge identical CSS selectors --- src/librustdoc/html/static/css/rustdoc.css | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index ec7ede010538f..d23d88d69dc55 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -563,8 +563,6 @@ h2.location a { .rustdoc .example-wrap { display: flex; position: relative; -} -.rustdoc .example-wrap { margin-bottom: 10px; } /* For the last child of a div, the margin will be taken care of