is there is way to change the colours of the highlighting? For example I find some of the highlighting pens too dark and would like to edit the set colour to display a lighter shade of the same colour.
Alan, not sure if you can tweak the default palettes in Logos, but you can certainly develop your own custom highlighting styles easily.
Check out this wiki link for details of how to do that: http://wiki.logos.com/Highlighting#Creating_Custom_Palettes
Again, thanks so much!