[misc] Better highlight color for the default PC colortheme