site TOC: styled better. remove an old debug printf