##// END OF EJS Templates
remove some redundant font-family: monospace...
MinRK -
Show More
@@ -73,7 +73,6 div.output_area {
73 }
73 }
74
74
75 div.output_area pre {
75 div.output_area pre {
76 font-family: @monoFontFamily;
77 margin: 0;
76 margin: 0;
78 padding: 0;
77 padding: 0;
79 border: 0;
78 border: 0;
@@ -99,7 +98,6 div.output_subarea {
99 div.output_text {
98 div.output_text {
100 text-align: left;
99 text-align: left;
101 color: @textColor;
100 color: @textColor;
102 font-family: @monoFontFamily;
103 /* This has to match that of the the CodeMirror class line-height below */
101 /* This has to match that of the the CodeMirror class line-height below */
104 line-height: @code_line_height;
102 line-height: @code_line_height;
105 }
103 }
@@ -116,9 +116,9 div.output_area{padding:0;page-break-inside:avoid;display:-webkit-box;-webkit-bo
116 div.output_area .rendered_html table{margin-left:0;margin-right:0}
116 div.output_area .rendered_html table{margin-left:0;margin-right:0}
117 div.output_area .rendered_html img{margin-left:0;margin-right:0}
117 div.output_area .rendered_html img{margin-left:0;margin-right:0}
118 .output{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;display:flex;flex-direction:column;align-items:stretch}
118 .output{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;display:flex;flex-direction:column;align-items:stretch}
119 div.output_area pre{font-family:monospace;margin:0;padding:0;border:0;font-size:100%;vertical-align:baseline;color:#000;background-color:transparent;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;line-height:inherit}
119 div.output_area pre{margin:0;padding:0;border:0;font-size:100%;vertical-align:baseline;color:#000;background-color:transparent;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;line-height:inherit}
120 div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1}
120 div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1}
121 div.output_text{text-align:left;color:#000;font-family:monospace;line-height:1.21429em}
121 div.output_text{text-align:left;color:#000;line-height:1.21429em}
122 div.output_stderr{background:#fdd;}
122 div.output_stderr{background:#fdd;}
123 div.output_latex{text-align:left}
123 div.output_latex{text-align:left}
124 div.output_javascript:empty{padding:0}
124 div.output_javascript:empty{padding:0}
@@ -1393,9 +1393,9 div.output_area{padding:0;page-break-inside:avoid;display:-webkit-box;-webkit-bo
1393 div.output_area .rendered_html table{margin-left:0;margin-right:0}
1393 div.output_area .rendered_html table{margin-left:0;margin-right:0}
1394 div.output_area .rendered_html img{margin-left:0;margin-right:0}
1394 div.output_area .rendered_html img{margin-left:0;margin-right:0}
1395 .output{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;display:flex;flex-direction:column;align-items:stretch}
1395 .output{display:-webkit-box;-webkit-box-orient:vertical;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:vertical;-moz-box-align:stretch;display:box;box-orient:vertical;box-align:stretch;width:100%;display:flex;flex-direction:column;align-items:stretch}
1396 div.output_area pre{font-family:monospace;margin:0;padding:0;border:0;font-size:100%;vertical-align:baseline;color:#000;background-color:transparent;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;line-height:inherit}
1396 div.output_area pre{margin:0;padding:0;border:0;font-size:100%;vertical-align:baseline;color:#000;background-color:transparent;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0;line-height:inherit}
1397 div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1}
1397 div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1}
1398 div.output_text{text-align:left;color:#000;font-family:monospace;line-height:1.21429em}
1398 div.output_text{text-align:left;color:#000;line-height:1.21429em}
1399 div.output_stderr{background:#fdd;}
1399 div.output_stderr{background:#fdd;}
1400 div.output_latex{text-align:left}
1400 div.output_latex{text-align:left}
1401 div.output_javascript:empty{padding:0}
1401 div.output_javascript:empty{padding:0}
General Comments 0
You need to be logged in to leave comments. Login now