--- theme.xml.old 2013-04-21 13:26:41.482273029 +0200 +++ theme.xml 2013-04-21 13:18:27.586472432 +0200 @@ -23,7 +23,7 @@ - + %h