diff --git a/doc/htmlnav.py b/doc/htmlnav.py
index ad56baef..be670e79 100644
--- a/doc/htmlnav.py
+++ b/doc/htmlnav.py
@@ -182,7 +182,6 @@ window.onload = function() {
         link = html4css1.HTMLTranslator.stylesheet_link
         return link % p
 
-
     def get_favicon (self):
         p = self.settings.stylesheet_path.split("/")[:-1]
         p.append("favicon.png")