| http://www.w3.org/ns/prov#value | - It is also to be understood that in addition to or instead of changing the font size, selection of the button 18 may change other display characteristics, for example, in order to make the text more or less distinct, such as the color, the font type, the style etc.
|
