Merge branch 'master' of ssh://git.planet-lab.org/git/plstackapi
[plstackapi.git] / planetstack / core / static / shell / opencloud_shell.css
1 #terminal {
2   width: 960px;
3   margin:50px auto 50px auto;
4   border: 1px solid black;
5   height: 400px;
6   background: #002b36;
7   overflow: scroll;
8 }
9
10 #terminal div.terminal_line {
11   width: 940px;
12   margin-bottom: 5px;
13 }
14
15 #terminal input {
16   width: 875px;
17   margin: 1px 0 1px 10px;
18   border: none;
19   display: inline;
20   padding: 2px;
21   background: #002b36;
22   color: #839496;
23   font-size: 15px;
24   font-family: Menlo, Monaco, 'Andale Mono', 'lucida console', 'Courier New', monospace;
25   border-radius:0;
26 }
27
28 #terminal input:focus {
29   box-shadow:none;
30 }
31
32 #terminal p {
33   margin: 2px;
34   color: #839496;
35   font-size: 15px;
36   font-family: Menlo, Monaco, 'Andale Mono', 'lucida console', 'Courier New', monospace;
37 }
38
39 .terminal_help {
40   margin: 2px;
41   color: #839496;
42   font-size: 15px;
43   font-family: Menlo, Monaco, 'Andale Mono', 'lucida console', 'Courier New', monospace;
44   background: #002b36;
45   padding:0;
46   line-height:normal;
47 }
48
49 #terminal a {
50   color: #6495ED;
51 }
52
53 #terminal span.prompt {
54   color: #839496;
55   font-size: 16px;
56   margin-left: 2px;
57 }
58
59 /* an experiment with syntax hilighting */
60
61 .terminal_string {
62     /*color:green; */
63     color:#859900;
64 }
65
66 .terminal_number {
67     /*color:darkorange;*/
68     color:#d33682;
69 }
70
71 .terminal_boolean {
72     /*color:blue;*/
73     color:#7777A0;
74 }
75
76 .terminal_null {
77     /*color:magenta;*/
78     color:#A000A0;
79 }
80
81 .terminal_key {
82     /*color:red;*/
83     color:#268bd2;
84 }
85