This is a forked theme. Best suited for HTML, CSS, JS. Find the original at this link.
Many thanks to scivarolo for providing it
Most changes include removing bold and italic font styles for better readability. Selected text background colour is now more visible.