swiftlet: Bug fixes, highlighting, entity parsing, CSS changes