Add svg favicon

public/favicon.svg

@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" height="16" width="16" version="1.1">
+	<defs>
+		<linearGradient id="bg" gradientTransform="rotate(85)">
+			<stop offset="49%" stop-color="#ba9570" />
+			<stop offset="67%" stop-color="#a4815f" />
+		</linearGradient>
+	</defs>
+	<g>
+		<path d="M 1.5,14.5 V 4.25 L 4.25,1.5 H 14.5 v 10.25 l -2.75,2.75 z" fill="url(#bg)" stroke="black" stroke-width="1" />
+		<path d="m 1.5,4.5 h 10 v 10" stroke="black" stroke-width="1" fill="none" />
+		<path d="m 14.5,1.5 -3,3" stroke="black" stroke-width="1" />
+	</g>
+</svg>

public/maintenance.html

@@ -5,7 +5,8 @@
     <meta charset="utf-8">
     <meta http-equiv="refresh" content="10">
     <meta name="viewport" content="width=device-width,initial-scale=1">
-    <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon">
+    <link rel="icon" href="/favicon.ico" sizes="16x16" type="image/x-icon">
+    <link rel="icon" href="/favicon.svg" sizes="any" type="image/svg+xml">
 
     <style type="text/css">
       body {