From 7005ddb50d04727a70fd634d1645078134c96ea4 Mon Sep 17 00:00:00 2001
From: Lzu Tao <taolzu@gmail.com>
Date: Wed, 22 Jul 2020 14:46:33 +0000
Subject: [PATCH] Add right border bar to Dark and Light theme

Ayu has it. Adding similar rule to other themes makes users less
surprised and makes GUI more consistent.
---
 src/librustdoc/html/static/themes/dark.css  | 1 +
 src/librustdoc/html/static/themes/light.css | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/librustdoc/html/static/themes/dark.css b/src/librustdoc/html/static/themes/dark.css
index 33c0f885fa9..203acbfa65b 100644
--- a/src/librustdoc/html/static/themes/dark.css
+++ b/src/librustdoc/html/static/themes/dark.css
@@ -270,6 +270,7 @@ a.test-arrow:hover{
 
 :target > code, :target > .in-band {
 	background-color: #494a3d;
+	border-right: 3px solid #bb7410;
 }
 
 pre.compile_fail {
diff --git a/src/librustdoc/html/static/themes/light.css b/src/librustdoc/html/static/themes/light.css
index 569ce7da209..e840d90f56a 100644
--- a/src/librustdoc/html/static/themes/light.css
+++ b/src/librustdoc/html/static/themes/light.css
@@ -265,6 +265,7 @@ a.test-arrow:hover{
 
 :target > code, :target > .in-band {
 	background: #FDFFD3;
+	border-right: 3px solid #ffb44c;
 }
 
 pre.compile_fail {