View source for Not all font sizes are allowed in HTML

= Problem =

* It isn't a very big bug, but I have no trouble duplicating it. When I select text and attempt to set the font size, the size is always rounded down to the nearest multiple of 3. I tried a couple of different fonts, and sizes ranging from 7 to 20... the result is always the same. This is particularly annoying for me since I started using SuperMemo by cutting and pasting, and I settled on a 14-point font as my standard. I can paste any size font into SuperMemo -- but if I then try to change the size, it will always be a multiple of 3.

= Comments = 

You can do font setting only as precise as HTML allows:

* <FONT size=1>Size 1</font>
* <FONT size=2>Size 2</font>
* <FONT size=3>Size 3</font>
* <FONT size=4>Size 4</font>
* <FONT size=5>Size 5</font>

= See also =
* [[Changing fonts]]
* [[Problem when trying to increase text size|Increasing font size]]