How to increase font size in Kodi for file list

Recently, I built a media centre device using Raspberry Pi 2. I am using Arch Linux + Kodi as its software. When plugged to my TV, I noticed the very small fonts that Kodi is using for the controls and information shown on the screen. While I don't care that much about the controls, (because I use my smartphone to control Kodi), the file list font size was terribly small. It was hard to read anything on the TV screen. Here is a very simple way to increase the file list font size in Kodi. Using the method described below, you can change the font size of any element in Kodi's user interface.