From 74f70e88997fb1cc52fc7c010fee67c320fd07d8 Mon Sep 17 00:00:00 2001
From: Riccardo Mottola <rm@gnu.org>
Date: Tue, 5 Nov 2024 01:04:52 +0100
Subject: [PATCH] fix style formatting, cleanup and make description style
 working

---
 Tools/default-styles.css | 96 +++++++++++++++++++++++-----------------
 1 file changed, 56 insertions(+), 40 deletions(-)

diff --git a/Tools/default-styles.css b/Tools/default-styles.css
index 378c3576c..4fb24f262 100644
--- a/Tools/default-styles.css
+++ b/Tools/default-styles.css
@@ -1,63 +1,63 @@
 .content-bar {
-	float: left;
-	position: fixed;
-	top: 0px;
-	left: 0px;
-	width: 20%;
-	height: 100%;
-	border-right: 1px solid grey;
+    float: left;
+    position: fixed;
+    top: 0px;
+    left: 0px;
+    width: 20%;
+    height: 100%;
+    border-right: 1px solid grey;
 }
 
 .content-bar-top {
-	position: absolute;
-	top: 0px;
-	left: 0px;
-	height: 30%;
-	width: 100%;
-	overflow: auto;
-	border-bottom: 1px solid grey;
+    position: absolute;
+    top: 0px;
+    left: 0px;
+    height: 30%;
+    width: 100%;
+    overflow: auto;
+    border-bottom: 1px solid grey;
 }
 
 .content-bar-top-body {
-	position: absolute;
-	top: 0px;
-	left: 0px;
-	padding-left: 10px;
-	padding-top: 10px;
+    position: absolute;
+    top: 0px;
+    left: 0px;
+    padding-left: 10px;
+    padding-top: 10px;
 }
 
 .content-bar-bottom {
-	position: absolute;
-	bottom: 0px;
-	left: 0px;
-	height:70%;
-	width: 100%;
-	overflow: auto;
+    position: absolute;
+    bottom: 0px;
+    left: 0px;
+    height:70%;
+    width: 100%;
+    overflow: auto;
 }
 
 .content-bar-bottom-body {
-	position: absolute;
-	top: 0px;
-	left: 0px;
-	padding-left: 10px;
-	padding-top: 10px;
+    position: absolute;
+    top: 0px;
+    left: 0px;
+    padding-left: 10px;
+    padding-top: 10px;
 }
 
 
 .content-pane {
-	position: fixed;
-	top: 0px;
-	right: 0px;
-	width: 80%;
-	height: 100%;
-	overflow-y: auto;
+    position: fixed;
+    top: 0px;
+    right: 0px;
+    width: 80%;
+    height: 100%;
+    overflow-y: auto;
 }
 
 .content-pane-body {
-	position: absolute;
-	top: 0px;
-	left: 0px;
-	padding-left: 10px;
+    position: absolute;
+    top: 0px;
+    left: 0px;
+    padding-left: 10px;
 }
 
 hr.section-separator {
@@ -72,3 +72,19 @@ hr.method-separator {
     margin-left:0;
     text-align:left;
 }
+
+h3.content-bar-index-section-header {
+    font-family: sans-serif;
+}
+
+h3.index-section-header {
+    font-family: sans-serif;
+}
+
+p {
+    font-family: Serif;
+}
+
+.desc {
+    font-family: Serif;
+}