Oliver Schmidt 374c89be01 Added newline on </div>.
The tag <div> (in contrast to the tag <span>) is normally used to denote content placed on a line by its own. So it makes sense to trigger a newline when </div> is processed.
2013-02-19 00:43:16 +01:00
..
2012-02-01 03:24:49 +01:00
2012-06-12 16:42:16 +02:00
2013-02-19 00:43:16 +01:00