
	const separators = [' if(', 'return ', ' for(',
		'\n', ' ', '\t', ',', ':', ';', '+', '-', '/', '*', '(', ')', '<', '>', '[', ']', '{', '}',
		'==', '!=', '<=', '>=', '=', '-=', '+=', '*=', '/='];
	const quotes = ['\'', '"'];
	const comments = [['//', '\n'], ['/*', '*/']];

	function painted_in(line, color) {
		return line.length == 0 ? "" : "<span style=\"color:#" + color + "\">" + line + "</span>";
	}

	function colorized(token) {
		var code_sum = 0;
		for(var i = 0; i < token.length; ++i)
			code_sum 