Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 5 additions & 13 deletions conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -33,9 +33,6 @@
intersphinx_mapping = {'python': ('https://docs.python.org/3', None)}
todo_include_todos = True

# Add any paths that contain templates here, relative to this directory.
templates_path = ['_templates']

# The suffix of source filenames.
source_suffix = '.rst'

Expand Down Expand Up @@ -118,7 +115,7 @@
}

# Additional static files.
#html_static_path = ['tools/static']
html_static_path = ['tools/static']

# A shorter title for the navigation bar. Default is the same as html_title.
#html_short_title = None
Expand All @@ -132,12 +129,6 @@
# pixels large.
#html_favicon = None

# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
# Commented out as Hg doesn't track empty directories.
#html_static_path = ['_static']

# If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
# using the given strftime format.
html_last_updated_fmt = '%b %d, %Y'
Expand All @@ -146,9 +137,6 @@
# typographically correct entities.
#html_use_smartypants = True

# Custom sidebar templates, maps document names to template names.
#html_sidebars = {}

# Additional templates that should be rendered to pages, maps page names to
# template names.
#html_additional_pages = {}
Expand Down Expand Up @@ -239,3 +227,7 @@
'\/.*',
]

# Use our custom CSS stylesheet to differentiate us from the official python
# docs.
def setup(app):
app.add_stylesheet('custom.css')
13 changes: 13 additions & 0 deletions tools/static/custom.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
div.related {
background-color: #6BA81E;
color: #DDD;
border-radius: 5px;
}

div.related a {
color: #FFF;
}

div.related a:hover {
color: #EEF;
}