Adjust size and decoration of header/toc links
Update CSS styles