equal
deleted
inserted
replaced
|
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> |