Changed default font sizes from 12 pixels to 12 points. This should improve
treeac75cd599ad694c780c7de964ebdd7e76a24a7e2
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 62324 ChangeLog
-rw-r--r-- 1028 Makefile
-rw-r--r-- 19700 README
-rw-r--r-- 16717 ReleaseNotes
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util