From 46169e66583f6f2abf9136fff2b60aabaf1f4014 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Tue, 11 Oct 2022 15:05:22 -0700 Subject: rustdoc: merge identical CSS selectors --- src/librustdoc/html/static/css/rustdoc.css | 2 -- 1 file changed, 2 deletions(-) (limited to 'src') diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index ec7ede01053..d23d88d69dc 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 -- cgit 1.4.1-3-g733a5