add favicon

petercorke · petercorke · commit 347e8e94869b · 2020-11-15T07:54:45.000+10:00
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -86,6 +86,7 @@
 
     }
 html_logo = '../figs/CartesianSnakes_LogoW.png'
+html_favicon = 'favicon.ico'
 
 # 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,
@@ -146,6 +147,7 @@
    }
 }
 
+
 autorun_languages = {}
 autorun_languages['pycon_output_encoding'] = 'UTF-8'
 autorun_languages['pycon_input_encoding'] = 'UTF-8'

Original file line number	Diff line number	Diff line change
`@@ -86,6 +86,7 @@`
`86`	`86`
`87`	`87`	`}`
`88`	`88`	`html_logo = '../figs/CartesianSnakes_LogoW.png'`
	`89`	`+html_favicon = 'favicon.ico'`
`89`	`90`
`90`	`91`	`# Add any paths that contain custom static files (such as style sheets) here,`
`91`	`92`	`# relative to this directory. They are copied after the builtin static files,`
`@@ -146,6 +147,7 @@`
`146`	`147`	`}`
`147`	`148`	`}`
`148`	`149`
	`150`	`+`
`149`	`151`	`autorun_languages = {}`
`150`	`152`	`autorun_languages['pycon_output_encoding'] = 'UTF-8'`
`151`	`153`	`autorun_languages['pycon_input_encoding'] = 'UTF-8'`