diff --git a/docs/sources/conf.py b/docs/sources/conf.py index 8168deb24..7aa27c7b8 100644 --- a/docs/sources/conf.py +++ b/docs/sources/conf.py @@ -51,9 +51,7 @@ source_suffix = '.rst' # The encoding of source files. #source_encoding = 'utf-8-sig' -#disable the permalinks 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 d6bfff79b..2b7796628 100755 --- a/docs/theme/docker/layout.html +++ b/docs/theme/docker/layout.html @@ -70,8 +70,8 @@