--- /dev/null
+<%page expression_filter="h"/>
+<!DOCTYPE html
+PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html>
+<head><title>${self.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.attr, 'pageclass'):
+ class="${self.attr.pageclass}"
+% endif
+ >
+
+% if False:
+<div>
+<p>We are in the process of modifying the service. Things likely will not work.</p>
+</div>
+% endif
+
+% if error_text is not UNDEFINED:
+<div id="err">
+<p>STDERR:</p><pre>${error_text}</pre>
+</div>
+% endif
+
+% if not simple:
+% if user:
+<p class="loggedin">Welcome, <span class="name">${user}</span>.</p>
+% endif
+
+<ul class="navigation">
+<li><a href="list">List</a></li>
+% if 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>
+% endif
+<li><a href="help">Help</a></li>
+</ul>
+
+% endif
+
+<div id="result" class="result">
+% if result:
+${result}
+% endif
+</div>
+
+% if not simple:
+<h1>${self.title()} — XVM</h1>
+% endif
+${next.body()}
+% if not simple:
+<hr />
+Questions? Contact <a href="mailto:xvm@mit.edu">xvm@mit.edu</a>.
+% endif
+</body>
+</html>
+
+<%def name="title()">
+XVM
+</%def>