webkit/inspector/debugger.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

/** 
 * Style for javascript debugger.  See debugger.html.
 */

html,body {
  margin: 0px;
  padding: 0px;
  height: 100%;
}
#output {
  font-family: monospace;
  background-color: #ffffff;
  min-height: 100%;
}
#outer {
  height: 100%;
  width: 100%;
  white-space: pre-wrap;
  padding: 0px 0px 24px 0px;
}
#command-line {
  bottom: 0px;
  /* not quite sure why this 5px is necessary */
  right: 5px;
  left: 0px;
  position: fixed;
  padding: 0px;
  margin: 0px;
}
#command-line-text {
  height: 20px;
  display: block;
  width: 100%;
  font-family: monospace;
}