#1530: Fixed wiki plugin to show file list with some margin in the top so the text is not cut. Thanks Stan for the pointers.