add favicon to query help and support projects

james · james · commit 1a7ca1d3d27b · 2020-12-16T09:29:26.000Z
diff --git a/docs/codeql/query-help/conf.py b/docs/codeql/query-help/conf.py
@@ -54,6 +54,8 @@
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['../_static']
 
+html_favicon = '../images/site/favicon.ico'
+
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 
diff --git a/docs/codeql/support/conf.py b/docs/codeql/support/conf.py
@@ -71,6 +71,8 @@
                       'nosidebar':True,
                       }
 
+html_favicon = '../images/site/favicon.ico'
+
 # -- Currently unused, but potentially useful, configs--------------------------------------
 
 # Add any paths that contain custom themes here, relative to this directory.

Original file line number	Diff line number	Diff line change
`@@ -71,6 +71,8 @@`
`71`	`71`	`'nosidebar':True,`
`72`	`72`	`}`
`73`	`73`
	`74`	`+html_favicon = '../images/site/favicon.ico'`
	`75`	`+`
`74`	`76`	`# -- Currently unused, but potentially useful, configs--------------------------------------`
`75`	`77`
`76`	`78`	`# Add any paths that contain custom themes here, relative to this directory.`