Oops, that was embarrasing.
But if i tick that box, it gives my an ugly dropdown menu, just saying “categories”, in a very windows-style.
With the theme i tried before yours, i had all the top-level categories shown and could expand them with a + sign.
Well, anyway, i liked it.
Thanks for your help. Love your theme