[doc] tweaked the appearance of the last item of the file listings
Merge pull request #10208 from javiereguiluz/patch-2

[doc] tweaked the appearance of the last item of the file listings