From 8de43dae5383981d3e4ba37a4ce64a5dbdde284c Mon Sep 17 00:00:00 2001
From: Jonathan Hefner <jonathan@hefner.pro>
Date: Sat, 23 Dec 2023 12:04:42 -0600
Subject: [PATCH] Fix 1px width difference between banner and tray

This fixes a 1px width difference between `.banner` and `.panel__tray`
on desktop due to the additional border on `.panel__tray`.  Mobile is
unaffected.
---
 lib/rdoc/generator/template/rails/resources/css/main.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/rdoc/generator/template/rails/resources/css/main.css b/lib/rdoc/generator/template/rails/resources/css/main.css
index aa4924c0..1cec9a8d 100644
--- a/lib/rdoc/generator/template/rails/resources/css/main.css
+++ b/lib/rdoc/generator/template/rails/resources/css/main.css
@@ -342,6 +342,7 @@ html {
 .banner {
   height: var(--banner-height);
   background-color: var(--brand-color);
+  box-shadow: 1px 0px var(--brand-color); /* Match .panel_tray width on desktop */
 }
 
 .banner__segment {
@@ -658,7 +659,7 @@ html {
 
   .panel__tray {
     height: unset;
-    border-right: 1px solid color-mix(in srgb, currentColor 25%, transparent);
+    box-shadow: 1px 0 color-mix(in srgb, currentColor 25%, transparent);
   }
 
   .panel__results.active {