phpbb/phpbb3 — pull request #1571 by bantu (2013-07-14 19:22:01+00:00)
Title: [ticket/11345] Better font for buttons

Depends on #1569
Replaces #1402

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