Added a modified Selection Highlight Extension that works well with dark themes.