From a4bd129252a49397946d2603962edb1e74890a83 Mon Sep 17 00:00:00 2001
From: "Michael N. Lipp" <mnl@mnl.de>
Date: Mon, 3 Jun 2024 23:10:35 +0200
Subject: [PATCH] Minor updates.

---
 misc/stylesheet.css | 54 ++++++++++++++++++---------------------------
 1 file changed, 22 insertions(+), 32 deletions(-)

diff --git a/misc/stylesheet.css b/misc/stylesheet.css
index e21b9b2..2debce1 100644
--- a/misc/stylesheet.css
+++ b/misc/stylesheet.css
@@ -71,37 +71,31 @@ a[name] {
     color:#353833;
 }
 pre {
-    font-family: "DejaVu Sans Mono", monospace;
+    font-family:'DejaVu Sans Mono', monospace;
 }
 h1 {
-    font-family: "DejaVu Sans", sans;
     font-size:20px;
 }
 h2 {
-    font-family: "DejaVu Sans", sans;
     font-size:18px;
 }
 h3 {
-    font-family: "DejaVu Sans", sans;
     font-size:16px;
 }
 h4 {
-    font-family: "DejaVu Sans", sans;
     font-size:15px;
 }
 h5 {
-    font-family: "DejaVu Sans", sans;
     font-size:14px;
 }
 h6 {
-    font-family: "DejaVu Sans", sans;
     font-size:13px;
 }
 ul {
     list-style-type:disc;
 }
 code, tt {
-    font-family: "DejaVu Sans Mono", monospace;
+    font-family:'DejaVu Sans Mono', monospace;
 }
 :not(h1, h2, h3, h4, h5, h6) > code,
 :not(h1, h2, h3, h4, h5, h6) > tt {
@@ -111,12 +105,12 @@ code, tt {
     line-height:1.4em;
 }
 dt code {
-    font-family: "DejaVu Sans Mono", monospace;
+    font-family:'DejaVu Sans Mono', monospace;
     font-size:14px;
     padding-top:4px;
 }
 .summary-table dt code {
-    font-family: "DejaVu Sans Mono", monospace;
+    font-family:'DejaVu Sans Mono', monospace;
     font-size:14px;
     vertical-align:top;
     padding-top:4px;
@@ -124,7 +118,9 @@ dt code {
 sup {
     font-size:8px;
 }
-
+button {
+    font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
+}
 /*
  * Styles for HTML generated by javadoc.
  *
@@ -185,7 +181,6 @@ sup {
     min-height:2.8em;
     padding-top:10px;
     overflow:hidden;
-    font-family: "DejaVu Sans", sans;
     font-size:80%;
 }
 .sub-nav {
@@ -193,7 +188,6 @@ sup {
     float:left;
     width:100%;
     overflow:hidden;
-    font-family: "DejaVu Sans", sans;
     font-size:80%;
 }
 .sub-nav div {
@@ -311,13 +305,16 @@ main {
     position:relative;
 }
 dl.notes > dt {
-    font-family: "DejaVu Sans", sans;
+    font-family: 'DejaVu Sans', Arial, Helvetica, sans-serif;
+    /* font-size:12px; */
     font-weight:bold;
     margin:10px 0 0 0;
     color:#4E4E4E;
 }
 dl.notes > dd {
-    margin:5px 10px 10px 0;
+    margin:5px 10px 0 0;
+    /* font-size:14px; */
+    font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
 }
 dl.name-value > dt {
     margin-left:1px;
@@ -389,6 +386,11 @@ ul.see-list-long li:not(:last-child):after {
     border-bottom:1px solid #EEE;
     padding:0;
 }
+
+.summary-table .col-first {
+    font-family: "DejaVu Sans Mono", monospace;
+}
+
 .caption {
     position:relative;
     text-align:left;
@@ -402,7 +404,6 @@ ul.see-list-long li:not(:last-child):after {
     padding-left:1px;
     margin:0;
     white-space:pre;
-    font-family: 'DejaVu Sans';
 }
 .caption a:link, .caption a:visited {
     color:#1f389c;
@@ -450,9 +451,6 @@ div.table-tabs > button.table-tab {
     display: grid;
     grid-template-columns: minmax(10%, max-content) minmax(15%, max-content) minmax(15%, auto);
 }
-#method-summary-table .three-column-summary {
-    grid-template-columns: minmax(10%, 20%) minmax(15%, max-content) minmax(15%, auto);
-} 
 .four-column-summary {
     display: grid;
     grid-template-columns: minmax(10%, max-content) minmax(10%, max-content) minmax(10%, max-content) minmax(10%, auto);
@@ -490,7 +488,6 @@ div.table-tabs > button.table-tab {
 }
 .table-header {
     background:#dee3e9;
-    font-family: 'DejaVu Sans';
     font-weight: bold;
 }
 /*
@@ -508,7 +505,6 @@ div.table-tabs > button.table-tab {
 .col-last {
     white-space:normal;
 }
-/*
 .col-first a:link, .col-first a:visited,
 .col-second a:link, .col-second a:visited,
 .col-first a:link, .col-first a:visited,
@@ -520,7 +516,6 @@ div.table-tabs > button.table-tab {
 .all-packages-container a:link, .all-packages-container a:visited {
     font-weight:bold;
 }
-*/
 .table-sub-heading-color {
     background-color:#EEEEFF;
 }
@@ -537,12 +532,9 @@ div.table-tabs > button.table-tab {
     margin:0;
     padding:10px 0;
 }
-/*
 div.block {
-    font-size:14px;
     font-family:'DejaVu Serif', Georgia, "Times New Roman", Times, serif;
 }
-*/
 .col-last div {
     padding-top:0;
 }
@@ -553,8 +545,7 @@ div.block {
 .package-signature,
 .type-signature,
 .member-signature {
-    font-family: "DejaVu Sans Mono", monospace;
-    /* font-size:14px; */
+    font-family:'DejaVu Sans Mono', monospace;
     margin:14px 0;
     white-space: pre-wrap;
 }
@@ -593,13 +584,8 @@ h1.hidden {
 .deprecated-label, .descfrm-type-label, .implementation-label, .member-name-label, .member-name-link,
 .module-label-in-package, .module-label-in-type, .override-specify-label, .package-label-in-type,
 .package-hierarchy-label, .type-name-label, .type-name-link, .search-tag-link, .preview-label {
-    font-family: "DejaVu Sans", sans;
     font-weight:bold;
 }
-.sub-title, .inheritance, .all-packages-table-tab1.col-first,
-    .summary-table .col-first {
-    font-family: "DejaVu Sans", sans;
-}
 .deprecation-comment, .help-footnote, .preview-comment {
     font-style:italic;
 }
@@ -658,6 +644,7 @@ main, nav, header, footer, section {
 ul.ui-autocomplete {
     position:fixed;
     z-index:999999;
+    background-color: #FFFFFF;
 }
 ul.ui-autocomplete  li {
     float:left;
@@ -667,6 +654,9 @@ ul.ui-autocomplete  li {
 .result-highlight {
     font-weight:bold;
 }
+.ui-autocomplete .result-item {
+    font-size: inherit;
+}
 #search-input {
     background-image:url('resources/glass.png');
     background-size:13px;