summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRasmus Andersson <rasmus@notion.se>2017-08-22 13:47:34 +0300
committerRasmus Andersson <rasmus@notion.se>2017-08-22 13:47:34 +0300
commit260b3deb8402fc8f0fb24ad7dbff70806d2aa82e (patch)
tree82e0e5c1436ef98f944efb244844ef9a2d949128
parent80ea7a323b48a1e70a112b3461be97ac67ff1585 (diff)
downloadinter-260b3deb8402fc8f0fb24ad7dbff70806d2aa82e.tar.xz
website fixes, primarily mobile
-rw-r--r--docs/index.html2
-rw-r--r--docs/lab/index.html1
2 files changed, 3 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html
index b7597bd95..af02e5eed 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -24,6 +24,8 @@
<meta property="og:type" content="product">
<meta property="og:locale" content="en_US" />
+ <link rel="icon" type="image/png" href="favicon.ico" />
+
<link href="interface.css" rel="stylesheet">
<style type="text/css">
diff --git a/docs/lab/index.html b/docs/lab/index.html
index 32f777e13..48c05d729 100644
--- a/docs/lab/index.html
+++ b/docs/lab/index.html
@@ -2,6 +2,7 @@
<html lang="en">
<head>
<meta charset="utf-8">
+ <link rel="icon" type="image/png" href="../favicon.ico" />
<link href="../interface.css" rel="stylesheet">
<script type="text/javascript">