From b04555f3344b301e6b28cca8e3ad7b4213a23039 Mon Sep 17 00:00:00 2001
From: Thomas Bellembois <thomas.bellembois@uca.fr>
Date: Wed, 28 Sep 2022 14:45:28 +0200
Subject: [PATCH] Fix docker runner link.

---
 menu/template.go | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/menu/template.go b/menu/template.go
index 76d6965..71d9356 100644
--- a/menu/template.go
+++ b/menu/template.go
@@ -12,7 +12,7 @@ var menuTemplate = `<div id="codefirstMenu" style="display: inline-block; width:
 		}
 		img.codefirstMenu {
 			border: 2px solid white;
-			padding: 5px;
+			padding: 2px;
 		}
 		span.codefirstMenu {
 			line-height: 4em;
@@ -109,7 +109,7 @@ var menuTemplate = `<div id="codefirstMenu" style="display: inline-block; width:
 		</div>
 
 		<div title="docker runner" style="float: left; margin-right: 50px;">
-			<a class="codefirstMenu"  style="border-bottom: none;" href="https://CODEFIRST_HOSTNAME/dockerrunner">
+			<a class="codefirstMenu"  style="border-bottom: none;" href="https://CODEFIRST_HOSTNAME/dockerrunner/index.html">
 				<span id="dockerrunner" class="codefirstMenu">
 					<img class="codefirstMenu" src="data:image/png;base64,{{.RunnerIcon}}"/>
 						&nbsp;