number';
				if (/^"/.test(match)) {
					if (/:$/.test(match)) {
						cls = 'key';
					} else {
						cls = 'string';
					}
				} else if (/true|false/.test(match)) {
					cls = 'boolean';
				} else if (/null/.test(match)) {
					cls = 'null';
				}
				return '<span class="' + cls + '">' + match + '</span>';
			});
		}
		
		// Here there be dragons!
		
		$( function() {
		
			var host = window.location.host;
			var path = window.location.pathname;
			var wsUrl = "ws://" + host + path.substr( 0, path.i