Small tweaks to cursor and highlighting of other symbols.
Bold-face current line, now that bold looks nicely.