diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/index.html | 2 | ||||
| -rw-r--r-- | docs/lab/index.html | 1 |
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"> |