From 22a810debfae24237e8fdd49fde530ddaa3bacb9 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Wed, 16 Nov 2022 08:55:20 -0600
Subject: [PATCH] Referencing included /docs/ and /javadoc/ in root index.html

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
---
 .../resources/modules/demo.d/root/index.html  | 11 ++++++--
 .../resources/modules/demo.d/root/jetty.css   | 28 +++++++++++++++----
 2 files changed, 31 insertions(+), 8 deletions(-)

diff --git a/jetty-home/src/main/resources/modules/demo.d/root/index.html b/jetty-home/src/main/resources/modules/demo.d/root/index.html
index 7d07f5d4f00..683baf412f8 100644
--- a/jetty-home/src/main/resources/modules/demo.d/root/index.html
+++ b/jetty-home/src/main/resources/modules/demo.d/root/index.html
@@ -46,10 +46,15 @@
           <h2>information</h2>
             <ul>
                 <li><a href="https://www.eclipse.org/jetty/">Jetty Homepage</a></li>
-                <li><a href="https://www.eclipse.org/jetty/documentation/current">Jetty Documentation</a></li>
+                <li><a href="https://www.eclipse.org/jetty/documentation/">Jetty Documentation Hub</a></li>
                 <li><a href="/proxy/current/">Javadoc</a> (via transparent proxy)</li>
-                <li><a
-                        href="https://www.eclipse.org/jetty/powered">Jetty Powered</a></li>
+                <li><a href="https://www.eclipse.org/jetty/powered">Jetty Powered</a></li>
+                <li>Optional content found only in<br><code>jetty-home-&lt;ver&gt;-with-docs.zip</code>
+                    <ul>
+                        <li><a href="/docs/">Jetty Documentation</a></li>
+                        <li><a href="/javadoc/">Javadoc</a></li>
+                    </ul>
+                </li>
             </ul>
         </td>
         <td>
diff --git a/jetty-home/src/main/resources/modules/demo.d/root/jetty.css b/jetty-home/src/main/resources/modules/demo.d/root/jetty.css
index acf677f7cf5..ff7d87cda3c 100644
--- a/jetty-home/src/main/resources/modules/demo.d/root/jetty.css
+++ b/jetty-home/src/main/resources/modules/demo.d/root/jetty.css
@@ -1,17 +1,21 @@
-BODY
+body
 {
-  font-family: Arial, Verdana, Helvetica, sans-serif;
-  background-color: #FFFFFF;
+  font-family: sans-serif;
+  background-color: white;
   font-size: 14pt;
   color: #444444;
 }
 
+code
+{
+    font-family: monospace;
+}
+
 img
 {
   border: 0px;
 }
 
-
 div#header
 {
   clear: both;
@@ -26,7 +30,6 @@ div#header
   margin-right: auto;
 }
 
-
 div#content
 {
   clear: both;
@@ -75,6 +78,21 @@ div#links h1,h2,p
   margin: 5px;
 }
 
+div#links ul
+{
+  padding-left: 20px;
+}
+
+div#links li
+{
+  font-size: 10pt;
+}
+
+div#links code
+{
+  font-size: 9pt;
+}
+
 div#links h2
 {
   font-size: 12pt;