From e14da974c7afcf53fb2bef362a81d058c96b9ba3 Mon Sep 17 00:00:00 2001
From: Riccardo Mottola <rm@gnu.org>
Date: Fri, 18 Oct 2024 11:58:00 +0200
Subject: [PATCH] give some visual separation to index areas

---
 Tools/default-styles.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Tools/default-styles.css b/Tools/default-styles.css
index 4fe6d0dab..378c3576c 100644
--- a/Tools/default-styles.css
+++ b/Tools/default-styles.css
@@ -5,6 +5,7 @@
 	left: 0px;
 	width: 20%;
 	height: 100%;
+	border-right: 1px solid grey;
 }
 
 .content-bar-top {
@@ -14,6 +15,7 @@
 	height: 30%;
 	width: 100%;
 	overflow: auto;
+	border-bottom: 1px solid grey;
 }
 
 .content-bar-top-body {