reduced font-size in runHistory.jsp