should it look like this?
Thanks for the heads up! It should not definitely not look like this :-/
It seems the CSS file is for some reason missing on debian. I will look in to it.
Any topic related to coding in Mono Framework
Any issues or question related to the Arduino compatibility API and IDE extension