diff -r bb914d6298f2 -r 1a16f75c6b5c Themes.wiki
--- a/Themes.wiki	Wed Oct 30 11:12:33 2019 +0000
+++ b/Themes.wiki	Wed Oct 30 11:16:13 2019 +0000
@@ -1,6 +1,7 @@
 #summary How to create your own themes
 
 == Introduction ==
+
 Themes in Hedgewars control the look of many elements that appear on screen (especially the map) and are the base on which random maps are built.
 
 == Understanding themes ==