Reduced font size in sidebar, requested by Ed