Add a favicon

kddnewton · kddnewton · commit 571aca235e47 · 2022-04-27T22:06:34.000-04:00
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,6 @@
 # Ignore everything in the output docs directory controlled by the build system.
 /docs/
-!/docs/index.html
+!/docs/{index.html,favicon.svg}
 
 # Ignore everything to do with building the app.wasm file.
 /head-wasm32-unknown-wasi-full-js/
diff --git a/docs/favicon.svg b/docs/favicon.svg
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg viewBox="-1 -1 136 117" version="1.1" xmlns="http://www.w3.org/2000/svg" stroke="#9b1c16">
+  <path fill="none" stroke-width="7" d="M24.25,0.22 L0.45,46.33 L67.08,114.41 L133.71,46.33 L109.47,0.22 Z" />
+  <g fill="none" stroke-width="4">
+    <path d="M0.45,46.33 L133.71,46.33" />
+    <path d="M24.25,0.22 L37.23,46.33 L67.08,0.22 L96.93,46.33 L109.47,0.22" />
+    <path d="M37.23,46.33 L67.08,114.41 L96.93,46.33 L67.08,0.22" />
+  </g>
+</svg>
diff --git a/docs/index.html b/docs/index.html
@@ -4,6 +4,7 @@
     <meta charset="utf-8">
     <meta name="viewport" content="initial-scale=1, maximum-scale=5">
     <title>Syntax Tree</title>
+    <link rel="icon" href="favicon.svg">
     <link rel="stylesheet" type="text/css" href="index.css">
   </head>
   <body>
