1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html lang="en">
<head>
<title>Munia</title>
<style>
/* Prevent the text contents of draggable elements from being selectable. */
[draggable] {
-moz-user-select: none;
-khtml-user-select: none;
-webkit-user-select: none;
user-select: none;
}
body {
cursor: default;
}
.task {
-webkit-touch-callout: none;
-webkit-user-select: none;
-khtml-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
-o-user-select: none;
user-select: none;
cursor: move;
background-color: #888;
border-style: solid;
border-width: medium;
/* border-radius: 15px;*/
padding: 4px;
margin: 6px;
max-width: 300px;
}
.board {
width: *;
min-height: 100px;
padding: 2px;
margin: 2px;
background: -moz-linear-gradient(left center, rgb(0,0,0), rgb(79,79,79), rgb(21,21,21));
background: -webkit-gradient(linear, left top, right top,
color-stop(0, rgb(0,0,0)),
color-stop(0.50, rgb(79,79,79)),
color-stop(1, rgb(21,21,21)));
background: -webkit-linear-gradient(left center, rgb(0,0,0), rgb(79,79,79), rgb(21,21,21));
background: -ms-linear-gradient(left center, rgb(0,0,0), rgb(79,79,79), rgb(21,21,21));
}
.log
{
height: 20em;
font-family: monospace;
font-size: 1em;
padding: 2px 5px;
color: #0f0;
background-color: #111;
border: 1px solid #030;
border-radius: 4px;
overflow: auto;
}
</style>
</head>
<body id="body">
<div id="boards" class="boards"></div>
<div id="wstask_status">TaskProto not initialized</div>
TaskProto: <input type="text" id="input_task_data" value="observe 0" onfocus="clear()"/>
<input type="button" value="submit" onclick="task_submit()"/><br/>
TaskMessages: <span id="wstask_lastmsg"></span><br/>
</div>
<pre class="log" id="log">Event information log
=====================
</pre>
<script type="text/javascript" charset="utf-8" src="/handler.js"></script>
<script type="text/javascript" charset="utf-8" src="/proto.js"></script>
</body>
</html>
|
