diff --git a/src/drivers/webextension/images/icons/Sphinx.png b/src/drivers/webextension/images/icons/Sphinx.png deleted file mode 100644 index e0edb8e17..000000000 Binary files a/src/drivers/webextension/images/icons/Sphinx.png and /dev/null differ diff --git a/src/drivers/webextension/images/icons/Sphinx.svg b/src/drivers/webextension/images/icons/Sphinx.svg new file mode 100644 index 000000000..6d3273ac0 --- /dev/null +++ b/src/drivers/webextension/images/icons/Sphinx.svg @@ -0,0 +1,3 @@ + + + diff --git a/src/technologies/s.json b/src/technologies/s.json index 53f156ffc..d0526bf1f 100644 --- a/src/technologies/s.json +++ b/src/technologies/s.json @@ -4617,7 +4617,7 @@ ], "description": "Sphinx is a tool that makes it easy to create documentation.", "html": "Created using Sphinx ([0-9.]+)\\.\\;version:\\1", - "icon": "Sphinx.png", + "icon": "Sphinx.svg", "js": { "DOCUMENTATION_OPTIONS": "" },