| commit | c0c089314bcc0daa171d983e584e5881322d76f6 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Wed Oct 07 00:26:25 2020 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Wed Oct 07 13:19:14 2020 -0400 |
| tree | c67f86fe33732896129b0dcba0993d6b41775cdd | |
| parent | 9f6a7d97bc0a7732b03826b9f10c900edf94b262 [diff] [blame] |
docs: refresh and improve the "named data" sphinx theme Change-Id: I196c30f84ce4edd5cd10dfe3cab6ea2dc6947815
diff --git a/docs/conf.py b/docs/conf.py index 696dcee..8ea25f5 100644 --- a/docs/conf.py +++ b/docs/conf.py
@@ -85,6 +85,9 @@ # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] +html_copy_source = False +html_show_sourcelink = False + # Disable syntax highlighting of code blocks by default. highlight_language = 'none'