From f14db4934605235bd77e9d1dc22377ca710e4c7b Mon Sep 17 00:00:00 2001 From: Thatcher Peskens Date: Tue, 13 Aug 2013 16:18:32 -0700 Subject: [PATCH] [docs] Some user-friendly changes to the documentation. - Added parmalinks (closes #1527) - Changed the 'fork us on github' button to 'Edit this page on github', so people can edit quickly (closes #1532) - Changed the favicon --- docs/sources/conf.py | 5 ++--- docs/theme/docker/layout.html | 4 ++-- docs/theme/docker/static/css/main.css | 16 ++++++++++++++++ docs/theme/docker/static/css/main.less | 18 ++++++++++++++++++ docs/theme/docker/static/favicon.png | Bin 404 -> 1475 bytes 5 files changed, 38 insertions(+), 5 deletions(-) diff --git a/docs/sources/conf.py b/docs/sources/conf.py index b4c23f0c58..9342ab503a 100644 --- a/docs/sources/conf.py +++ b/docs/sources/conf.py @@ -18,7 +18,7 @@ import sys, os # documentation root, use os.path.abspath to make it absolute, like shown here. #sys.path.insert(0, os.path.abspath('.')) -# -- General configuration ----------------------------------------------------- +# -- General configuratiofn ----------------------------------------------------- @@ -52,8 +52,7 @@ source_suffix = '.rst' #source_encoding = 'utf-8-sig' #disable the parmalinks on headers, I find them really annoying -html_add_permalinks = None - +html_add_permalinks = u'ΒΆ' # The master toctree document. master_doc = 'toctree' diff --git a/docs/theme/docker/layout.html b/docs/theme/docker/layout.html index d6bfff79ba..2b7796628f 100755 --- a/docs/theme/docker/layout.html +++ b/docs/theme/docker/layout.html @@ -70,8 +70,8 @@