diff options
Diffstat (limited to 'docs/_layouts/default.html')
| -rw-r--r-- | docs/_layouts/default.html | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 4611e3e4f..922b54c36 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -1,7 +1,9 @@ -<html> +<!doctype html> +<html lang="en"> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"> + <meta name="description" content="{{ site.description }}"> <meta name="robots" content="noindex"> <title>{{ site.title }}</title> <link rel="icon" type="image/x-icon" href="{{ "/assets/favicon.ico" | relative_url }}"> @@ -13,5 +15,13 @@ {% include navbar.html %} {{ content }} + + <script src="https://cdnjs.cloudflare.com/ajax/libs/list.js/1.5.0/list.min.js"></script> + <script> + var options = { + valueNames: ['name'] + }; + var iconsList = new List('icons', options); + </script> </body> </html> |