¡Muchas gracias por dedicar tanto tiempo a tu respuesta! Me disculpo, pero el problema es mío y de Apple. Estoy usando Safari en una Mac nueva, y el menú “+” cuando se abre sí contiene la opción de TOC, pero no es visible en la lista, y el menú no muestra las barras de desplazamiento en absoluto que yo pueda ver (y no aparecen a menos que te desplaces). La alineación vertical del contenido resultó ser perfecta, como si contuviera N-1 elementos en lugar de N. Grrrr. Finalmente me di cuenta cuando probé esto en Chrome, y por casualidad el elemento N-1 estaba cortado por la mitad, así que me desplacé…