Depending on https://github.com/phpbb/phpbb/pull/2506/files#diff-b2ce3b911bc80a420bb4e03bea8bfbbcR1070 either 8px or 10px.

8px is a bit more compact, obviously.