docs: function (tokens) {
          var token = null;
          for (var i = 0; i < tokens.length; i++) {
              // Find the most specific token.
              if (tokenFromAceToken[tokens[i]] !== undefined) {
                  token = tokenFromAceToken[tokens[i]];
              }
          }
          return token;
      }