Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Referencing included /docs/ and /javadoc/ in root index.html 

Signed-off-by: Joakim Erdfelt <joakim.erdfelt@gmail.com>
This commit is contained in:
Joakim Erdfelt 2022-11-16 08:55:20 -06:00
parent 24b0f1989e
commit 22a810debf
No known key found for this signature in database
GPG Key ID: 2D0E1FB8FE4B68B4
2 changed files with 31 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
jetty-home/src/main/resources/modules/demo.d/root/index.html
View File

@ -46,10 +46,15 @@
<h2>information</h2> <h2>information</h2>
<ul> <ul>
<li><a href="https://www.eclipse.org/jetty/">Jetty Homepage</a></li> <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="/proxy/current/">Javadoc</a> (via transparent proxy)</li>
<li><a <li><a href="https://www.eclipse.org/jetty/powered">Jetty Powered</a></li>
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> </ul>
</td> </td>
<td> <td>

28
jetty-home/src/main/resources/modules/demo.d/root/jetty.css
View File

@ -1,17 +1,21 @@
BODY body
{ {
font-family: Arial, Verdana, Helvetica, sans-serif; font-family: sans-serif;
background-color: #FFFFFF; background-color: white;
font-size: 14pt; font-size: 14pt;
color: #444444; color: #444444;
} }
code
{
font-family: monospace;
}
img img
{ {
border: 0px; border: 0px;
} }
div#header div#header
{ {
clear: both; clear: both;
@ -26,7 +30,6 @@ div#header
margin-right: auto; margin-right: auto;
} }
div#content div#content
{ {
clear: both; clear: both;
@ -75,6 +78,21 @@ div#links h1,h2,p
margin: 5px; margin: 5px;
} }
div#links ul
{
padding-left: 20px;
}
div#links li
{
font-size: 10pt;
}
div#links code
{
font-size: 9pt;
}
div#links h2 div#links h2
{ {
font-size: 12pt; font-size: 12pt;