Added a setting to control if the themes should colorize the first (marker) margin...
Unpacked and added theme sources of the latest fdz's to get history...