Add favicon to view page

diku-dk · May 25, 2023 · a29d0c1 · a29d0c1
1 parent 3b762c8
commit a29d0c1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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>