From 6b9d49cbca72846087cbaa81b0815f1ed79480b2 Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Wed, 3 Oct 2018 22:04:44 +0100
Subject: [PATCH] Minor CSS fix

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 28f2328..78c6647 100644
--- a/index.html
+++ b/index.html
@@ -21,7 +21,7 @@
 		float: right;
 		height: 76px;
 		left: 0;
-		position: absolute;
+		position: fixed;
 		top: 7em;
 		z-index: 50;
 		padding: 20px;