← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: mattgiuca
  • Date: 2008-01-15 03:06:54 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:229
Images: Reduced "small" icons from 22x22 to 16x16. Reduced "large" icons from
    128x128 to 96x96.
Changed some of the icons for Subversion so they make a bit more sense.
    (Missing and deleted are now distinct).
Modified JavaScript and CSS so the interface flows with 16x16 icons instead of
22. This makes each file vertically a lot shorter.
Made the bands of colour in the file listing much closer together in colour.

Show diffs side-by-side

added added

removed removed

Lines of Context:
console/index.html
 
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>
 
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>
 
9
  <style type='text/css'>
 
10
    #output {
 
11
        border: solid blue 1pt;
 
12
        height: 24em;
 
13
        overflow: scroll;
 
14
        margin-bottom: 4pt;
 
15
        padding: 4pt;
 
16
    }
 
17
    #input {
 
18
        border: solid green 1pt;
 
19
    }
 
20
    #prompt {
 
21
        font-family: monospace;
 
22
    }
 
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
    }
 
37
  </style>
 
38
 </head>
 
39
 <body>
 
40
  <div id='output'>
 
41
  </div>
 
42
  <div id='input'>
 
43
   <div id='inputArea'>
 
44
   </div>
 
45
   <label id='prompt'>&gt;&gt;&gt;&nbsp;</label><input id='inputText' type='text' size='80' onkeypress='catch_input(event.keyCode)'/>
 
46
  </div>
 
47
 </body>
 
48
</html>