
editAreaLoader.load_syntax["robotstxt"]={'DISPLAY_NAME':'Robots txt','COMMENT_SINGLE':{1:'#'},'COMMENT_MULTI':{},'QUOTEMARKS':[],'KEYWORD_CASE_SENSITIVE':false,'KEYWORDS':{'attributes':['User-agent','Disallow','Allow','Crawl-delay'],'values':['*'],'specials':['*']},'OPERATORS':[':'],'DELIMITERS':[],'STYLES':{'COMMENTS':'color: #AAAAAA;','QUOTESMARKS':'color: #6381F8;','KEYWORDS':{'attributes':'color: #48BDDF;','values':'color: #2B60FF;','specials':'color: #FF0000;'},'OPERATORS':'color: #FF00FF;','DELIMITERS':'color: #60CA00;'}};