From a29d0c17a85acdbe67e3b602027c9be5057f139b Mon Sep 17 00:00:00 2001
From: Lukires <lukas.thomas.schilling@gmail.com>
Date: Thu, 25 May 2023 15:29:02 +0200
Subject: [PATCH] Add favicon to view page

---
 web-server/templates/view/view.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web-server/templates/view/view.html b/web-server/templates/view/view.html
index 5fa7dac..67d03e5 100644
--- a/web-server/templates/view/view.html
+++ b/web-server/templates/view/view.html
@@ -6,6 +6,7 @@
     <meta name="viewport" content="width=device-width, initial-scale=1">
     <title>View Futhark Playground Output</title>
     <link rel="stylesheet" href="{{ url_for('static', filename='view/view.css') }}">
+    <link rel="shortcut icon" href="{{ url_for('static', filename='favicon.png') }}">
     <script type="module" src="https://md-block.verou.me/md-block.js"></script>
 </head>