From fb5f039991c53982287324a1c7d48422f4fe184d Mon Sep 17 00:00:00 2001 From: Paul Schaub Date: Thu, 4 Aug 2022 15:48:35 +0200 Subject: [PATCH] Tweaks to layout --- _layouts/default.html | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/_layouts/default.html b/_layouts/default.html index b97cd792..879bb4a0 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -17,7 +17,6 @@ src="//html5shiv.googlecode.com/svn/trunk/html5.js">
-

{{ site.title | default: site.github.repository_name }}

{% if site.logo %} Logo {% endif %} @@ -26,14 +25,13 @@ src="//html5shiv.googlecode.com/svn/trunk/html5.js"> Home
- Releases -
- Javadoc + Releases +
+ Documentation
- Coverage + Javadoc +
+ Coverage