From 7ff9bc18cd807fec16100e52a780689af233cf29 Mon Sep 17 00:00:00 2001
From: Michael Howell <michael@notriddle.com>
Date: Sat, 22 Oct 2022 21:28:53 -0700
Subject: [PATCH] rustdoc: remove no-op CSS `.code-header { border-bottom: none
 }`

The code headers are always h3 or h4, which don't have border-bottom by
default anyway.
---
 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 9785e1f54c1..5a8acc8af64 100644
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -184,7 +184,6 @@ h4.code-header {
 }
 .code-header {
 	font-weight: 600;
-	border-bottom-style: none;
 	margin: 0;
 	padding: 0;
 }