change the font size of 'for Linux ...'

RT