Prevent overlap of document list with doc list header

Just a small optical change, for me (in Chrome) it looked quite ugly before.