tiny html lexer.