phpbb/phpbb3 — pull request #1723 by cyberalien (2013-09-15 18:23:23+00:00)
Title: [ticket/11846] Replace empty <p> with margin-top in jumpbox

http://tracker.phpbb.com/browse/PHPBB3-11846