51
48
/*margin-bottom: 0.5em;*/
53
50
/* 2em is to accomodate the header bar, and some padding */
55
52
/* 2.5em is to accomodate the input bar, and padding either side */
59
57
/* Display scroll bars */
74
60
#console_body.windowpane #console_output {
75
61
/* Don't want this absolutely positioned in windowpane mode */
79
63
/* Give it an explicit height instead */
91
69
/* Input bar goes along the bottom. Pad all sides */