rustdoc: merge identical CSS selectors

notriddle · notriddle · commit 46169e66583f · 2022-10-11T15:05:22.000-07:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -563,8 +563,6 @@ h2.location a {`
`563`	`563`	`.rustdoc .example-wrap {`
`564`	`564`	`display: flex;`
`565`	`565`	`position: relative;`
`566`		`-}`
`567`		`-.rustdoc .example-wrap {`
`568`	`566`	`margin-bottom: 10px;`
`569`	`567`	`}`
`570`	`568`	`/* For the last child of a div, the margin will be taken care of`