<script type= "text/javascript" >
   _editor_url = "/javascript/htmlarea/";
   _editor_lang = "en";
</script>
<script type= "text/javascript"  src= "/javascript/htmlarea/htmlarea.js">
</script>

<script type="text/javascript">
	//load the ImageManage + Editor plug-in
	HTMLArea.loadPlugin("ImageManager");
	HTMLArea.loadPlugin("ListType");
	HTMLArea.loadPlugin("HtmlTidy");
	HTMLArea.loadPlugin("EnterParagraphs");
	HTMLArea.loadPlugin("TableOperations");
	HTMLArea.loadPlugin("SpellChecker");
	HTMLArea.loadPlugin("CSS");
		
	initDocument = function () {
		var editor = new HTMLArea("harea1");
		editor.registerPlugin(CSS, {
		  combos : [
		    { label: "Syntax",
		                 // menu text       // CSS class
		      options: { "None"           : "",
		                 "Code" : "code",
		                 "String" : "string",
		                 "Comment" : "comment",
		                 "Variable name" : "variable-name",
		                 "Type" : "type",
		                 "Reference" : "reference",
		                 "Preprocessor" : "preprocessor",
		                 "Keyword" : "keyword",
		                 "Function name" : "function-name",
		                 "Html tag" : "html-tag",
		                 "Html italic" : "html-helper-italic",
		                 "Warning" : "warning",
		                 "Html bold" : "html-helper-bold"
		               },
		      context: "pre"
		    },
		    { label: "Info",
		      options: { "None"           : "",
		                 "Quote"          : "quote",
		                 "Highlight"      : "highlight",
		                 "Deprecated"     : "deprecated"
		               }
		    }
		  ]
		});
		editor.generate();
	}
	
	HTMLArea.init();
	HTMLArea.onload = initDocument;
</script>
