fix font size of REST pages.