updating doc toc font-size to 13