Fix #2354 (logs are badly colored with xhtml history)

- now it should work properly
- add a COLOR_LOG_MSG theming option, used both for local and remote
  history