Current visible nav element highlighted in ToC