|
|
|
|
@ -6,34 +6,34 @@ div.output_wrapper {
|
|
|
|
|
|
|
|
|
|
/* class for the output area when it should be height-limited */
|
|
|
|
|
div.output_scroll {
|
|
|
|
|
/* ideally, this would be max-height, but FF barfs all over that */
|
|
|
|
|
height: 24em;
|
|
|
|
|
/* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
|
|
|
|
|
width: 100%;
|
|
|
|
|
/* ideally, this would be max-height, but FF barfs all over that */
|
|
|
|
|
height: 24em;
|
|
|
|
|
/* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
|
|
|
|
|
width: 100%;
|
|
|
|
|
|
|
|
|
|
overflow: auto;
|
|
|
|
|
.corner-all;
|
|
|
|
|
.box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8));
|
|
|
|
|
overflow: auto;
|
|
|
|
|
.corner-all;
|
|
|
|
|
.box-shadow(inset 0 2px 8px rgba(0, 0, 0, .8));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* output div while it is collapsed */
|
|
|
|
|
div.output_collapsed {
|
|
|
|
|
margin: 0px;
|
|
|
|
|
padding: 0px;
|
|
|
|
|
.vbox();
|
|
|
|
|
margin: 0px;
|
|
|
|
|
padding: 0px;
|
|
|
|
|
.vbox();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.out_prompt_overlay {
|
|
|
|
|
height: 100%;
|
|
|
|
|
padding: 0px @code_padding;
|
|
|
|
|
position: absolute;
|
|
|
|
|
.corner-all;
|
|
|
|
|
height: 100%;
|
|
|
|
|
padding: 0px @code_padding;
|
|
|
|
|
position: absolute;
|
|
|
|
|
.corner-all;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.out_prompt_overlay:hover {
|
|
|
|
|
/* use inner shadow to get border that is computed the same on WebKit/FF */
|
|
|
|
|
.box-shadow(inset 0 0 1px #000);
|
|
|
|
|
background: rgba(240, 240, 240, 0.5);
|
|
|
|
|
/* use inner shadow to get border that is computed the same on WebKit/FF */
|
|
|
|
|
.box-shadow(inset 0 0 1px #000);
|
|
|
|
|
background: rgba(240, 240, 240, 0.5);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.output_prompt {
|
|
|
|
|
@ -71,8 +71,8 @@ div.output_area {
|
|
|
|
|
.vbox();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.output_area pre {
|
|
|
|
|
font-family: @monoFontFamily;
|
|
|
|
|
div.output_area pre {
|
|
|
|
|
font-family: @monoFontFamily;
|
|
|
|
|
margin: 0;
|
|
|
|
|
padding: 0;
|
|
|
|
|
border: 0;
|
|
|
|
|
@ -99,7 +99,7 @@ div.output_text {
|
|
|
|
|
text-align: left;
|
|
|
|
|
color: @textColor;
|
|
|
|
|
font-family: @monoFontFamily;
|
|
|
|
|
/* This has to match that of the the CodeMirror class line-height below */
|
|
|
|
|
/* This has to match that of the the CodeMirror class line-height below */
|
|
|
|
|
line-height: @code_line_height;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
@ -134,26 +134,28 @@ div.output_jpeg {
|
|
|
|
|
/* raw_input styles */
|
|
|
|
|
|
|
|
|
|
div.raw_input {
|
|
|
|
|
padding-top: 0px;
|
|
|
|
|
padding-bottom: 0px;
|
|
|
|
|
height: 1em;
|
|
|
|
|
line-height: 1em;
|
|
|
|
|
font-family: @monoFontFamily;
|
|
|
|
|
padding-top: 0px;
|
|
|
|
|
padding-bottom: 0px;
|
|
|
|
|
height: 1em;
|
|
|
|
|
line-height: 1em;
|
|
|
|
|
font-family: @monoFontFamily;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
span.input_prompt {
|
|
|
|
|
font-family: inherit;
|
|
|
|
|
font-family: inherit;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
input.raw_input {
|
|
|
|
|
font-family: inherit;
|
|
|
|
|
font-size: inherit;
|
|
|
|
|
color: inherit;
|
|
|
|
|
width: auto;
|
|
|
|
|
margin: -2px 0px 0px 1px;
|
|
|
|
|
padding-left: 1px;
|
|
|
|
|
padding-top: 2px;
|
|
|
|
|
height: 1em;
|
|
|
|
|
font-family: inherit;
|
|
|
|
|
font-size: inherit;
|
|
|
|
|
color: inherit;
|
|
|
|
|
width: auto;
|
|
|
|
|
margin: -2px 0px 0px 1px;
|
|
|
|
|
padding-left: 1px;
|
|
|
|
|
padding-top: 2px;
|
|
|
|
|
height: 1em;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
p.p-space {
|
|
|
|
|
margin-bottom: 10px;
|
|
|
|
|
margin-bottom: 10px;
|
|
|
|
|
}
|
|
|
|
|
|