added style for source-highlight, other changes