diff options
| -rw-r--r-- | docs/_layouts/default.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 1978df710..ce1345145 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -1,5 +1,7 @@ <html> <head> + <meta charset="utf-8"> + <title>Dotty - {{ page.title }}</title> <link rel="shortcut icon" type="image/png" href="{{ site.baseurl}}/images/favicon.png"/> <link rel="stylesheet" href="http://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.7.0/styles/github.min.css"> |