+#from functions import functions
+#extends functions
+
+#def full_body
+<!DOCTYPE html
+PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html>
<head><title>$title</title>
<link href="static/favicon.ico" type="image/x-icon" rel="shortcut icon">
<link rel="stylesheet" href="static/style.css" type="text/css" />
<link rel="stylesheet" href="static/layout.css" type="text/css" media="screen" />
+ <script type="text/javascript" src="static/prototype.js"></script>
<script type="text/javascript">
var helpWin = null;
function closeWin(){
}
</script>
</head>
-<body>
+<body id="body">
+
+<div id="err">
+#if $varExists('error_text')
+<p>STDERR:</p><pre>$error_text</pre>
+#end if
+</div>
+
#if not $varExists('simple') or not $simple
-<p>[You are logged in as $user.username.]</p>
+<p>[You are logged in as $user.]</p>
+
+<div class="navigation">
<p><a href="list">List</a>
#if $varExists('machine')
<a href="info?machine_id=$machine.machine_id">Info</a>
#end if
<a href="help">Help</a></p>
#end if
+</div>
+
+<div id="loadingnotice" class="loadingnotice">LOADING</div>
+<div id="result" class="result">
+#if $varExists('result')
+$result
+#end if
+</div>
+
$body
#if not $varExists('simple') or not $simple
<hr />
#end if
</body>
</html>
+#end def