From b08351abf5b6cb4ae49c1513aa2c93fd75457498 Mon Sep 17 00:00:00 2001
From: krassowski <5832902+krassowski@users.noreply.github.com>
Date: Mon, 1 Jul 2024 08:11:07 +0100
Subject: [PATCH] Make progress bar take up full width even if description is
 empty

---
 style/base.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/style/base.css b/style/base.css
index c2caa89..c1899bf 100644
--- a/style/base.css
+++ b/style/base.css
@@ -124,6 +124,7 @@
   bottom: 0;
   margin-left: -8px;
   padding: 0 4px;
+  width: calc(100% - 8px);
 }
 
 .jp-Exhibit:hover .jp-Exhibit-bottom {