Added by Christos Stathis over 12 years ago
Smaller font size for statistics (issue #2372)
View differences