Smaller font for 'Machinekit' on front page