Hi,
is there a problem with replacing font-size 10px with f. e. 8pt in darkblue orange theme?
i have absolutely no problem with leaving it at 10px! just a question!
font size of 10 px gives me an absolute hight of X with about 1.3 mm and absolut height of x about 0.9mm - nearly unreadable! (my sytem is running at 144 DPI)
font size 8 pt should appear with about the same size as 10px on 72 DPI displays (the default on most systems) and has the right size on any other dpi settings!