Add a note in the documentation of font sizes
treec71b0ed09c0c82e0669d03a0e1bad2ffdfbfa2a1
-rw-r--r-- 704 .gitignore
-rw-r--r-- 426 .hgignore
-rw-r--r-- 18212 COPYING
-rw-r--r-- 9448 Doxyfile
-rw-r--r-- 10960 Makefile.bundle.in
-rw-r--r-- 3439 Makefile.grf.in
-rw-r--r-- 6708 Makefile.in
-rw-r--r-- 3993 Makefile.lang.in
-rw-r--r-- 1696 Makefile.msvc
-rw-r--r-- 3325 Makefile.setting.in
-rw-r--r-- 11805 Makefile.src.in
drwxr-xr-x - bin
-rw-r--r-- 499593 changelog.txt
-rw-r--r-- 112231 config.lib
-rwxr-xr-x 6219 configure
drwxr-xr-x - docs
-rwxr-xr-x 5350 findversion.sh
-rw-r--r-- 24091 known-bugs.txt
drwxr-xr-x - media
drwxr-xr-x - os
drwxr-xr-x - projects
-rw-r--r-- 35730 readme.txt
-rw-r--r-- 22218 source.list
drwxr-xr-x - src