Muito obrigado por dedicar tanto tempo à sua resposta! Peço desculpas, mas o problema é comigo e com a Apple. Estou usando o Safari em um novo Mac, e o menu “+” quando abre contém a opção de TOC, mas ela não está visível na lista, e o menu não exibe as barras de rolagem que eu possa ver (e elas não aparecem a menos que você role). O alinhamento vertical do conteúdo aconteceu de ser perfeito, como se contivesse N-1 itens em vez de N. Grrrr. Finalmente percebi quando tentei isso no Chrome, e por acaso o item N-1 foi cortado ao meio, então eu rolei…