From e3242ff12d5dc88d6c2448e03d9f43aec55098d6 Mon Sep 17 00:00:00 2001
From: "Martin, Alexander Scott" <mart2070@purdue.edu>
Date: Wed, 28 Aug 2024 09:46:40 -0400
Subject: [PATCH] fix more border colors

---
 tdx-enhanced.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tdx-enhanced.js b/tdx-enhanced.js
index f11e277..7ea02b3 100644
--- a/tdx-enhanced.js
+++ b/tdx-enhanced.js
@@ -1853,6 +1853,10 @@ path[stroke="black"] {
     border-color: var(--border-0) !important;
 }
 
+hr {
+    background-color: var(--border-0);
+}
+
 .panel-default, .panel-default>.panel-heading {
 	border-color: var(--border-0) !important;
 }
@@ -1998,6 +2002,10 @@ input.cke_dialog_ui_input_password, input.cke_dialog_ui_input_text, textarea.cke
 	border: 1px solid var(--border-0) !important;
 }
 
+.nav-tabs>li.active>a {
+    border-bottom-color: var(--bg-1) !important;
+}
+
 .ButtonCell, .ButtonCellBottom, .ButtonCellTop, .TabButtonCell {
 	border-bottom: 1px solid var(--border-0);
 }