fix html export and copy not using the correct color scheme