Updated CSS to deal with new TOC & navigation