commit 52ea7d265a4a80dc9dfbad5a1d80a473cd9287b9
Author: Pierre Riteau <pierre@stackhpc.com>
Date:   Thu Oct 1 18:13:39 2020 +0200

    doc: Change reference to logos from PNG to SVG
    
    Change-Id: I23db45060878e0d6d8e19c93ebd86be77d2789b0

diff --git a/doc/source/configuration/themes.rst b/doc/source/configuration/themes.rst
index eb74933..91b0450 100644
--- a/doc/source/configuration/themes.rst
+++ b/doc/source/configuration/themes.rst
@@ -179,7 +179,7 @@ Advanced
 ~~~~~~~~
 
 If you need to do more to customize the logo than simply replacing the existing
-PNG, then you can also override the _brand.html through a custom theme.  To use
+SVG, then you can also override the _brand.html through a custom theme.  To use
 this technique, simply add a ``templates/header/_brand.html`` to the root of
 your custom theme, and add markup directly to the file.  For an example of how
 to do this, see