From 6c0183dd800d66e25e2409e59db98570296b40ed Mon Sep 17 00:00:00 2001 From: wsdjeg Date: Tue, 7 Feb 2017 00:57:11 +0800 Subject: [PATCH] Add menu --- docs/_layouts/default.html | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 5ebce5106..19bf6d4c7 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -35,8 +35,11 @@

{{ site.title | default: site.github.repository_name }}

{{ site.description | default: site.github.project_tagline }}


- Project maintained by {{ site.github.owner_name }} - Hosted on GitHub Pages — Theme by mattgraham +

+ Home | + about | +

+
{{ content }} @@ -57,5 +60,8 @@ } catch(err) {} {% endif %} - + + + Hosted on GitHub — Theme by mattgraham +