A dotted line joining the ToC entry text to the page number may make it easier to use. (This replaces the menu item separator from d879062e.) Also fix baselines aligment, which could be a bit off.