Just applying theme preferences if we're the current theme.
Added option to style IDE or not / changed default to Monokai.
Created option to apply background to the whole IDE.
Fixed the way we handle links on dark themes (i.e.: give it a light background).
Changed mark occurrences color in PyDev when applyed from theme.