[markand]

Thank you Dennis! I had not tried that, but it fixed the problem.

What is a bit baffling is how it ever got into that state, as I had not done anything in the style section of the preferences pane before.

What I had done, and maybe this is related is that I was trying to get sync working using a WebDav Server, but it did not work. I wonder if there is a bug in the code that changed the style settings when I was changing the sync settings.

Everything is fixed now. Thanks so much for your help!