-#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 — XVM</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(){
- if (helpWin != null){
- if(!helpWin.closed)
- helpWin.close();
- }
-}
-
-function helppopup(name){
- closeWin()
- helpWin = window.open("help?simple=true&subject="+encodeURIComponent(name), "Help",
-"status, height = 300, width = 400");
- if (window.focus){helpWin.focus();}
- return false;
-}
-</script>
-</head>
-<body id="body"
-#if hasattr($self, 'pageclass'):
- class="$pageclass"
-#end if
- >
-
-#if False
-<div>
-<p>We are in the process of modifying the service. Things likely will not work.</p>
-</div>
-#end if
-
-<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 class="loggedin">Welcome, <span class="name">$user</span>.</p>
-
-<ul class="navigation">
-<li><a href="list">List</a></li>
-#if $varExists('machine')
-<li><a href="info?machine_id=$machine.machine_id">Info</a></li>
-<li><a href="vnc?machine_id=$machine.machine_id">Console</a></li>
-#end if
-<li><a href="help">Help</a></li>
-</ul>
-#end if
-<div id="result" class="result">
-#if $varExists('result')
-$result
-#end if
-</div>
-
-#if not $varExists('simple') or not $simple
-<h1>$title — XVM</h1>
-#end if
-#filter None
-$body
-#end filter
-#if not $varExists('simple') or not $simple
-<hr />
-Questions? Contact <a href="mailto:xvm@mit.edu">xvm@mit.edu</a>.
-#end if
-</body>
-</html>
-#end def