Ubuntu is far and wide the most popular Linux distribution, although Mint certainly has its advantages for beginners, such as the menu organization. Ubuntu Forums member KdotJ shows us how to add Mint ...

Here's how you can change the font size in the Mint Menu in Linux Mint 12.