Use native separators for recent files menu
Improve HTML highlighter

* different color for images and links
* more keywords
* instead of attribute regexp use a regexp for the whole tag