This message was deleted.

I switched to the Material Theme to do some experiments with code rendering and co, so now it looks a little different. I liked the previous look and feel, but code navigation & Co are much better with Material. And we can improve it overtime