Description
We need to divide the standard font size by 0.75 according to this:
https://www.eclipse.org/rap/developers-guide/devguide.php?topic=markup.html&version=2.0
We need to divide the standard font size by 0.75 according to this:
https://www.eclipse.org/rap/developers-guide/devguide.php?topic=markup.html&version=2.0