From f97e8fc164cc8ad43f595ef3c8649806c7757d2b Mon Sep 17 00:00:00 2001 From: Thatcher Peskens Date: Tue, 13 Aug 2013 16:18:32 -0700 Subject: [PATCH 1/2] [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 Upstream-commit: f14db4934605235bd77e9d1dc22377ca710e4c7b Component: engine --- components/engine/docs/sources/conf.py | 5 ++--- .../engine/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/components/engine/docs/sources/conf.py b/components/engine/docs/sources/conf.py index b4c23f0c58..9342ab503a 100644 --- a/components/engine/docs/sources/conf.py +++ b/components/engine/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/components/engine/docs/theme/docker/layout.html b/components/engine/docs/theme/docker/layout.html index d6bfff79ba..2b7796628f 100755 --- a/components/engine/docs/theme/docker/layout.html +++ b/components/engine/docs/theme/docker/layout.html @@ -70,8 +70,8 @@