does this 15 is for the size of the letter? or the font is just named "Nokia Sans 15"? Because if this is the whole this won't really help me for making smaller the letters without the theme-customizer.