code/templates/skeleton.mako

   1 <%page expression_filter="h"/>
   2 <!DOCTYPE html
   3 PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
   4 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   5 <html>
   6 <head><title>${self.title()} &mdash; XVM</title>
   7   <link href="static/favicon.ico" type="image/x-icon" rel="shortcut icon">
   8   <link rel="stylesheet" href="static/style.css" type="text/css" />
   9   <link rel="stylesheet" href="static/layout.css" type="text/css" media="screen" />
  10   <script type="text/javascript" src="static/prototype.js"></script>
  11   <script type="text/javascript">
  12 var helpWin = null;
  13 function closeWin(){
  14         if (helpWin != null){
  15                 if(!helpWin.closed)
  16                         helpWin.close();
  17         }
  18 }
  19
  20 function helppopup(name){
  21    closeWin()
  22    helpWin = window.open("help?simple=true&subject="+encodeURIComponent(name), "Help",
  23 "status, height = 300, width = 400");
  24    if (window.focus){helpWin.focus();}
  25    return false;
  26 }
  27 </script>
  28 </head>
  29 <body id="body"
  30 % if hasattr(self.attr, 'pageclass'):
  31   class="${self.attr.pageclass}"
  32 % endif
  33   >
  34
  35 % if False:
  36 <div>
  37 <p>We are in the process of modifying the service.  Things likely will not work.</p>
  38 </div>
  39 % endif
  40
  41 % if error_text is not UNDEFINED:
  42 <div id="err">
  43 <p>STDERR:</p><pre>${error_text}</pre>
  44 </div>
  45 % endif
  46
  47 % if not simple:
  48 % if user:
  49 <p class="loggedin">Welcome, <span class="name">${user}</span>.</p>
  50 % endif
  51
  52 <ul class="navigation">
  53 <li><a href="list">List</a></li>
  54 % if machine:
  55 <li><a href="info?machine_id=${machine.machine_id}">Info</a></li>
  56 <li><a href="vnc?machine_id=${machine.machine_id}">Console</a></li>
  57 % endif
  58 <li><a href="help">Help</a></li>
  59 </ul>
  60
  61 % endif
  62
  63 <div id="result" class="result">
  64 % if result:
  65 ${result}
  66 % endif
  67 </div>
  68
  69 % if not simple:
  70 <h1>${self.title()} &mdash; XVM</h1>
  71 % endif
  72 ${next.body()}
  73 % if not simple:
  74 <hr />
  75 Questions? Contact <a href="mailto:xvm@mit.edu">xvm@mit.edu</a>.
  76 % endif
  77 </body>
  78 </html>
  79
  80 <%def name="title()">
  81 XVM
  82 </%def>