shell/style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74

/* style.css file for PHP Shell
 * Copyright (C) 2003-2010 the Phpshell-team
 * Licensed under the GNU GPL.  See the file COPYING for details.
 *
 */

body {
  font-family: sans-serif;
  color: black;
  background: white;
}

h1 {
  color: red;
  background: white;
}

img {
  border: none;
}

div#terminal {
  border: inset 2px red;
  padding: 2px;
  margin-top: 0.5em;
}

div#terminal textarea { 
  font-size: 100%;
  width: 100%;
  border: none;
}

p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

p#prompt {
  font-family: monospace;
  margin: 0px;
}

p#prompt input {
  border: none;
  font-family: monospace;
}

legend {
  padding-right: 0.5em;
}

fieldset {
  padding: 0.5em;
}

.error {
  color: red;
}

div.warning {
  background-color: rgb(255, 150, 150);
  border: medium solid rgb(255, 60, 60);
  padding: 0.5em;
  margin: 0.25em;
}
.pwd {
  font-family: monospace;
  padding: 0.5em;
  margin: 0.25em;
}
a.pwd {
  font-weight: bold;
}