|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
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 |
<title>IVLE Python Console</title> |
|
|
126
by drtomc
A basic version of the console going! |
6 |
<script type='text/javascript' src='md5.js'></script> |
7 |
<script type='text/javascript' src='json2.js'></script> |
|
8 |
<script type='text/javascript' src='console.js'></script> |
|
|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
9 |
<style type='text/css'> |
|
111
by drtomc
Checkpoint work on the console. |
10 |
#output { |
|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
11 |
border: solid blue 1pt; |
12 |
height: 24em; |
|
13 |
overflow: scroll; |
|
14 |
margin-bottom: 4pt; |
|
|
127
by drtomc
A bit of simplification - unify the output areas and use colours to |
15 |
padding: 4pt; |
|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
16 |
}
|
|
111
by drtomc
Checkpoint work on the console. |
17 |
#input { |
|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
18 |
border: solid green 1pt; |
19 |
}
|
|
|
126
by drtomc
A basic version of the console going! |
20 |
#prompt { |
21 |
font-family: monospace; |
|
22 |
}
|
|
|
127
by drtomc
A bit of simplification - unify the output areas and use colours to |
23 |
pre.errorMsg { |
24 |
color: red; |
|
25 |
margin-top: 0em; |
|
26 |
margin-bottom: 0em; |
|
27 |
}
|
|
28 |
pre.inputMsg { |
|
29 |
color: gray; |
|
30 |
margin-top: 0em; |
|
31 |
margin-bottom: 0em; |
|
32 |
}
|
|
33 |
pre.outputMsg { |
|
34 |
margin-top: 0em; |
|
35 |
margin-bottom: 0em; |
|
36 |
}
|
|
|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
37 |
</style> |
38 |
</head> |
|
39 |
<body> |
|
|
111
by drtomc
Checkpoint work on the console. |
40 |
<div id='output'> |
41 |
</div> |
|
42 |
<div id='input'> |
|
|
127
by drtomc
A bit of simplification - unify the output areas and use colours to |
43 |
<div id='inputArea'> |
44 |
</div> |
|
|
126
by drtomc
A basic version of the console going! |
45 |
<label id='prompt'>>>> </label><input id='inputText' type='text' size='80' onkeypress='catch_input(event.keyCode)'/> |
|
95
by mattgiuca
Moved some things out of www into their respective dirs, console and |
46 |
</div> |
47 |
</body> |
|
48 |
</html> |