X-Git-Url: https://jasonwoof.com/gitweb/?a=blobdiff_plain;f=index.html;h=0ed861650f8cc95908551e0da6ec2e34f89a8bae;hb=9c8a049528fc2d75883a76581635335ed98956a6;hp=718479e162424e3bf31c6a167e90480708a2fd95;hpb=b7343be7e3013be9c5e5a794886337268408f581;p=watch-my-terminal.git

diff --git a/index.html b/index.html
index 718479e..0ed8616 100644
--- a/index.html
+++ b/index.html
@@ -3,71 +3,20 @@
 <head>
 	<title>Remote Terminal Viewer</title>
 	<script src="/jquery.js"></script>
+	<script src="/terminal.js"></script>
+	<script src="/htmlterm.js"></script>
+	<script src="/client.js"></script>
 	<script src="/socket.io/socket.io.js"></script>
-	<script>
-		$(function() {
-			var palette = [
-				'2e3436',
-				'a40000',
-				'4e9a06',
-				'c4a000',
-				'3465a4',
-				'75507b',
-				'ce5c00',
-				'babdb6',
-			];
-			var $body = $('body');
-			var socket = io.connect('http://localhost');
-			var color_to_css = function(i) {
-				return 'color: #' + palette[i] + '; ';
-			}
-			var bg_color_to_css = function(i) {
-				return 'background-' + color_to_css(i);
-			}
-			var stylize = function (txt, style) {
-				if(txt.length == 0 || style == 0) {
-					return txt
-				}
-				css = ''
-				if(style & 0x10000) css += 'font-weight: bold; ';
-				if(style & 0x20000) css += 'text-decoration: underline; ';
-				if(style & 0x40000) css += 'text-decoration: underline; '; // blink
-				if(style & 0x80000) css += 'text-decoration: line-through; '; // invisible
-				if(style & 0x000ff) css += color_to_css(style & 0xff);
-				if(style & 0x0ff00) css += bg_color_to_css((style & 0xff00) >> 8);
-				return $('<span style="'+css+'"></span>').text(txt);
-			}
-			socket.on('init', function (v) {
-				$body.children().remove();
-				for(i in v.text) {
-					div = $('<div>');
-					txt = ''
-					a = 0;
-					for(j in v.text[i]) {
-						if(v.attributes[i][j] != a) {
-							if(txt.length) {
-								div.append(stylize(txt, a));
-								txt = ''
-							}
-							a = v.attributes[i][j]
-						}
-						txt += v.text[i][j]
-					}
-					if(txt.length) {
-						div.append(stylize(txt, a));
-					}
-					$body.append(div);
-				}
-			});
-		});
-	</script>
 	<style>
 		body {
-			color: #babdb6;
-			background: #2e3436;
 			font-family: monospace;
 			font-size: 12px;
 			line-height: 14px;
+			padding: 0;
+			margin: 0;
+		}
+		body code {
+			display: block;
 			white-space: pre;
 		}
 	</style>
