Hide ToC details from user agents that don’t support JS