From 64bb82d2db5194c8a4119f75338f3eb14619d0df Mon Sep 17 00:00:00 2001 From: mspasiano Date: Fri, 25 Sep 2020 16:08:02 +0200 Subject: [PATCH] Change theme of document --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 8f526d7129..e8867bf575 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -45,7 +45,7 @@ html_show_sourcelink = False html_favicon = "favicon.ico" html_logo = "logo.png" -latex_logo = 'logo_blue.png' +latex_logo = 'logo.png' html_baseurl = 'docs' smartquotes = False language = "it"