Merge branch 'develop' of github.com:ampl/mp into develop

ampl · Nov 7, 2024 · f33821f · f33821f
2 parents 516fdc3 + 2b39ed1
commit f33821f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/source/conf.py b/doc/source/conf.py
@@ -107,10 +107,10 @@
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-html_logo = "_static/logo-inline-web-v4.png"
+html_logo = "https://raw.githubusercontent.com/ampl/ampl.github.io/master/themes/static/ampl-navbar-logo.png"
 
 # Add favicon
-html_favicon = "_static/cropped-favicon-raw-192x192.png"
+html_favicon = "https://raw.githubusercontent.com/ampl/ampl.github.io/master/themes/static/ampl-favicon.png"
 
 # If true, links to the reST sources are added to the pages.
 html_show_sourcelink = False