diff options
Diffstat (limited to 'munia.html')
| -rw-r--r-- | munia.html | 79 |
1 files changed, 15 insertions, 64 deletions
@@ -2,83 +2,34 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html lang="en"> <head> + <meta http-equiv="Pragma" content="no-cache"/> + <meta http-equiv="Expires" content="-1"/> <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> + <link rel="stylesheet" type="text/css" href="/munia.css" media="screen"/> </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> +<script type="text/javascript"> +function task_submit() { + var data = document.getElementById("input_task_data").value; + socket_task.send(data); +} +</script> + +<div id="boards" class="boards"></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> +<script type="text/javascript" charset="utf-8" src="/task.js"></script> +<script type="text/javascript" charset="utf-8" src="/view.js"></script> +<script type="text/javascript" charset="utf-8" src="/handler.js"></script> </body> </html> |