testappproj/templates/shell.html
changeset 0 0b061d58aea3
equal deleted inserted replaced
-1:000000000000 0:0b061d58aea3
       
     1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
       
     2  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
       
     3 <html>
       
     4 <head>
       
     5 <meta http-equiv="content-type" content="text/html; charset=utf-8" />
       
     6 <title> Interactive Shell </title>
       
     7 <script type="text/javascript" src="/static/shell.js"></script>
       
     8 <style type="text/css">
       
     9 body {
       
    10   font-family: monospace;
       
    11   font-size: 10pt;
       
    12 }
       
    13 
       
    14 p {
       
    15   margin: 0.5em;
       
    16 }
       
    17 
       
    18 a img {
       
    19   border: none;
       
    20 }
       
    21 
       
    22 .prompt, #output {
       
    23   width: 45em;
       
    24   border: 1px solid silver;
       
    25   background-color: #f5f5f5;
       
    26   font-size: 10pt;
       
    27   margin: 0.5em;
       
    28   padding: 0.5em;
       
    29   padding-right: 0em;
       
    30   overflow-x: hidden;
       
    31 }
       
    32 
       
    33 #toolbar {
       
    34   margin-left: 0.5em;
       
    35   padding-left: 0.5em;
       
    36 }
       
    37 
       
    38 #caret {
       
    39   width: 3.5em;
       
    40   margin-right: 0px;
       
    41   padding-right: 0px;
       
    42   border-right: 0px;
       
    43 }
       
    44 
       
    45 #statement {
       
    46   width: 43em;
       
    47   margin-left: -1em;
       
    48   padding-left: 0px;
       
    49   border-left: 0px;
       
    50   background-position: top right;
       
    51   background-repeat: no-repeat;
       
    52 }
       
    53 
       
    54 .processing {
       
    55   background-image: url("/static/spinner.gif");
       
    56 }
       
    57 
       
    58 #ajax-status {
       
    59   font-weight: bold;
       
    60 }
       
    61 
       
    62 .message {
       
    63   color: #8AD;
       
    64   font-weight: bold;
       
    65   font-style: italic;
       
    66 }
       
    67 
       
    68 .error {
       
    69   color: #F44;
       
    70 }
       
    71 
       
    72 .username {
       
    73   font-weight: bold;
       
    74 }
       
    75 
       
    76 </style>
       
    77 </head>
       
    78 
       
    79 <body>
       
    80 
       
    81 <textarea id="output" rows="22" readonly="readonly">
       
    82 Response Area
       
    83 </textarea>
       
    84 
       
    85 
       
    86 
       
    87 <form id="form" action="/shell/" method="get">
       
    88   <nobr>
       
    89   <textarea class="prompt" id="caret" readonly="readonly" rows="4"
       
    90             onfocus="document.getElementById('statement').focus()"> In[]: </textarea>
       
    91   <textarea class="prompt" name="statement" id="statement" rows="4"
       
    92             onkeypress="return shell.onPromptKeyPress(event);"></textarea>
       
    93   </nobr>
       
    94   <input type="hidden" name="session" value="{{ session }}" />
       
    95   <input type="submit" style="display: none" />
       
    96 </form>
       
    97 
       
    98 <p id="ajax-status"></p>
       
    99 
       
   100 <p>use ctrl-up for history </p>
       
   101 
       
   102 
       
   103 
       
   104 <script type="text/javascript">
       
   105 document.getElementById('statement').focus();
       
   106 </script>
       
   107 </body>
       
   108 </html>