From e2960032c8936f9ea93f881ddb38280303f46149 Mon Sep 17 00:00:00 2001
From: Jennifer Hogueison <26424169+magicalfeyfenny@users.noreply.github.com>
Date: Mon, 19 Oct 2020 17:40:31 -0400
Subject: [PATCH] change .shrink's border to 0px

In panel mode + shrunken padding mode + custom theme mode, the panel does not cover the corner pixel on one side due to the border being 1px. An example of this bug is here: https://queer.af/@fenny/105063613088716362

I don't know if this is an issue outside of Pop_OS! 20.04.
---
 stylesheet.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stylesheet.css b/stylesheet.css
index e0b7af871..ff7f5fe32 100644
--- a/stylesheet.css
+++ b/stylesheet.css
@@ -1,7 +1,7 @@
 /* Shrink the dash by reducing padding */
 #dashtodockContainer.shrink #dash,
 #dashtodockContainer.dashtodock #dash {
-    border:1px;
+    border:0px;
     padding:0px;
 }