Show More
@@ -9,5 +9,12 b' code {' | |||||
9 | color: @black; // default code color in bootstrap is #d14 (crimson / amaranth) |
|
9 | color: @black; // default code color in bootstrap is #d14 (crimson / amaranth) | |
10 | } |
|
10 | } | |
11 |
|
11 | |||
|
12 | pre { | |||
|
13 | // bootstrap has pre defaults that we don't want to inherit. | |||
|
14 | // start pre tag defaults based on the surrounding context instead. | |||
|
15 | font-size: inherit; | |||
|
16 | line-height: inherit; | |||
|
17 | } | |||
|
18 | ||||
12 | // Our own global variables for all pages go here |
|
19 | // Our own global variables for all pages go here | |
13 |
|
20 |
@@ -51,6 +51,7 b' div.input_area {' | |||||
51 | border: 1px solid @light_border_color; |
|
51 | border: 1px solid @light_border_color; | |
52 | .corner-all; |
|
52 | .corner-all; | |
53 | background: @cell_background; |
|
53 | background: @cell_background; | |
|
54 | line-height: @code_line_height; | |||
54 | } |
|
55 | } | |
55 |
|
56 | |||
56 | /* This is needed so that empty prompt areas can collapse to zero height when there |
|
57 | /* This is needed so that empty prompt areas can collapse to zero height when there |
@@ -37,10 +37,8 b' div.input_area > div.highlight {' | |||||
37 |
|
37 | |||
38 | div.input_area > div.highlight > pre { |
|
38 | div.input_area > div.highlight > pre { | |
39 | margin: 0px; |
|
39 | margin: 0px; | |
40 |
border: |
|
40 | border: none; | |
41 | padding: 0px; |
|
41 | padding: 0px; | |
42 | background-color: transparent; |
|
42 | background-color: transparent; | |
43 | font-size: @notebook_font_size; |
|
|||
44 | line-height: @code_line_height; |
|
|||
45 | } |
|
43 | } | |
46 |
|
44 |
@@ -83,12 +83,10 b' div.output_area pre {' | |||||
83 | margin: 0; |
|
83 | margin: 0; | |
84 | padding: 0; |
|
84 | padding: 0; | |
85 | border: 0; |
|
85 | border: 0; | |
86 | font-size: 100%; |
|
|||
87 | vertical-align: baseline; |
|
86 | vertical-align: baseline; | |
88 | color: black; |
|
87 | color: black; | |
89 | background-color: transparent; |
|
88 | background-color: transparent; | |
90 | .border-radius(0); |
|
89 | .border-radius(0); | |
91 | line-height: inherit; |
|
|||
92 | } |
|
90 | } | |
93 |
|
91 | |||
94 | /* This class is for the output subarea inside the output_area and after |
|
92 | /* This class is for the output subarea inside the output_area and after |
@@ -14,7 +14,6 b' div#pager {' | |||||
14 | display: none; |
|
14 | display: none; | |
15 |
|
15 | |||
16 | pre { |
|
16 | pre { | |
17 | font-size: @baseFontSize; |
|
|||
18 | line-height: @code_line_height; |
|
17 | line-height: @code_line_height; | |
19 | color: @textColor; |
|
18 | color: @textColor; | |
20 | background-color: @cell_background; |
|
19 | background-color: @cell_background; |
@@ -3,6 +3,7 b'' | |||||
3 | .hide-text{font:0/0 a;color:transparent;text-shadow:none;background-color:transparent;border:0} |
|
3 | .hide-text{font:0/0 a;color:transparent;text-shadow:none;background-color:transparent;border:0} | |
4 | .input-block-level{display:block;width:100%;min-height:30px;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box} |
|
4 | .input-block-level{display:block;width:100%;min-height:30px;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box} | |
5 | code{color:#000} |
|
5 | code{color:#000} | |
|
6 | pre{font-size:inherit;line-height:inherit} | |||
6 | .border-box-sizing{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box} |
|
7 | .border-box-sizing{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box} | |
7 | .corner-all{border-radius:4px} |
|
8 | .corner-all{border-radius:4px} | |
8 | .hbox{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} |
|
9 | .hbox{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} | |
@@ -74,12 +75,12 b' div.cell.edit_mode{border-radius:4px;border:thin #008000 solid}' | |||||
74 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} |
|
75 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} | |
75 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.21429em} |
|
76 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.21429em} | |
76 | @media (max-width:480px){div.prompt{text-align:left}}div.inner_cell{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;display:flex;flex-direction:column;align-items:stretch;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} |
|
77 | @media (max-width:480px){div.prompt{text-align:left}}div.inner_cell{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;display:flex;flex-direction:column;align-items:stretch;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} | |
77 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7} |
|
78 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7;line-height:1.21429em} | |
78 | div.prompt:empty{padding-top:0;padding-bottom:0} |
|
79 | div.prompt:empty{padding-top:0;padding-bottom:0} | |
79 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} |
|
80 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} | |
80 | @media (max-width:480px){div.input{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;display:flex;flex-direction:column;align-items:stretch}}div.input_prompt{color:#000080;border-top:1px solid transparent} |
|
81 | @media (max-width:480px){div.input{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;display:flex;flex-direction:column;align-items:stretch}}div.input_prompt{color:#000080;border-top:1px solid transparent} | |
81 | div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:transparent} |
|
82 | div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:transparent} | |
82 |
div.input_area>div.highlight>pre{margin:0;border: |
|
83 | div.input_area>div.highlight>pre{margin:0;border:none;padding:0;background-color:transparent} | |
83 | .CodeMirror{line-height:1.21429em;height:auto;background:none;} |
|
84 | .CodeMirror{line-height:1.21429em;height:auto;background:none;} | |
84 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto} |
|
85 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto} | |
85 | @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em} |
|
86 | @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em} | |
@@ -117,7 +118,7 b' div.output_area{padding:0;page-break-inside:avoid;display:-webkit-box;-webkit-bo' | |||||
117 | div.output_area .rendered_html table{margin-left:0;margin-right:0} |
|
118 | div.output_area .rendered_html table{margin-left:0;margin-right:0} | |
118 | div.output_area .rendered_html img{margin-left:0;margin-right:0} |
|
119 | div.output_area .rendered_html img{margin-left:0;margin-right:0} | |
119 | .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;display:flex;flex-direction:column;align-items:stretch} |
|
120 | .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;display:flex;flex-direction:column;align-items:stretch} | |
120 |
@media (max-width:480px){div.output_area{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;display:flex;flex-direction:column;align-items:stretch}}div.output_area pre{margin:0;padding:0;border:0; |
|
121 | @media (max-width:480px){div.output_area{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;display:flex;flex-direction:column;align-items:stretch}}div.output_area pre{margin:0;padding:0;border:0;vertical-align:baseline;color:#000;background-color:transparent;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0} | |
121 | div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} |
|
122 | div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} | |
122 | div.output_text{text-align:left;color:#000;line-height:1.21429em} |
|
123 | div.output_text{text-align:left;color:#000;line-height:1.21429em} | |
123 | div.output_stderr{background:#fdd;} |
|
124 | div.output_stderr{background:#fdd;} |
@@ -1266,6 +1266,7 b' a .icon-rotate-90:before,a .icon-rotate-180:before,a .icon-rotate-270:before,a .' | |||||
1266 | .icon-weibo:before{content:"\f18a"} |
|
1266 | .icon-weibo:before{content:"\f18a"} | |
1267 | .icon-renren:before{content:"\f18b"} |
|
1267 | .icon-renren:before{content:"\f18b"} | |
1268 | code{color:#000} |
|
1268 | code{color:#000} | |
|
1269 | pre{font-size:inherit;line-height:inherit} | |||
1269 | .border-box-sizing{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box} |
|
1270 | .border-box-sizing{box-sizing:border-box;-moz-box-sizing:border-box;-webkit-box-sizing:border-box} | |
1270 | .corner-all{border-radius:4px} |
|
1271 | .corner-all{border-radius:4px} | |
1271 | .hbox{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} |
|
1272 | .hbox{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} | |
@@ -1351,12 +1352,12 b' div.cell.edit_mode{border-radius:4px;border:thin #008000 solid}' | |||||
1351 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} |
|
1352 | div.cell{width:100%;padding:5px 5px 5px 0;margin:0;outline:none} | |
1352 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.21429em} |
|
1353 | div.prompt{min-width:11ex;padding:.4em;margin:0;font-family:monospace;text-align:right;line-height:1.21429em} | |
1353 | @media (max-width:480px){div.prompt{text-align:left}}div.inner_cell{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;display:flex;flex-direction:column;align-items:stretch;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} |
|
1354 | @media (max-width:480px){div.prompt{text-align:left}}div.inner_cell{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;display:flex;flex-direction:column;align-items:stretch;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} | |
1354 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7} |
|
1355 | div.input_area{border:1px solid #cfcfcf;border-radius:4px;background:#f7f7f7;line-height:1.21429em} | |
1355 | div.prompt:empty{padding-top:0;padding-bottom:0} |
|
1356 | div.prompt:empty{padding-top:0;padding-bottom:0} | |
1356 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} |
|
1357 | div.input{page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} | |
1357 | @media (max-width:480px){div.input{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;display:flex;flex-direction:column;align-items:stretch}}div.input_prompt{color:#000080;border-top:1px solid transparent} |
|
1358 | @media (max-width:480px){div.input{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;display:flex;flex-direction:column;align-items:stretch}}div.input_prompt{color:#000080;border-top:1px solid transparent} | |
1358 | div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:transparent} |
|
1359 | div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:transparent} | |
1359 |
div.input_area>div.highlight>pre{margin:0;border: |
|
1360 | div.input_area>div.highlight>pre{margin:0;border:none;padding:0;background-color:transparent} | |
1360 | .CodeMirror{line-height:1.21429em;height:auto;background:none;} |
|
1361 | .CodeMirror{line-height:1.21429em;height:auto;background:none;} | |
1361 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto} |
|
1362 | .CodeMirror-scroll{overflow-y:hidden;overflow-x:auto} | |
1362 | @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em} |
|
1363 | @-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em} | |
@@ -1394,7 +1395,7 b' div.output_area{padding:0;page-break-inside:avoid;display:-webkit-box;-webkit-bo' | |||||
1394 | div.output_area .rendered_html table{margin-left:0;margin-right:0} |
|
1395 | div.output_area .rendered_html table{margin-left:0;margin-right:0} | |
1395 | div.output_area .rendered_html img{margin-left:0;margin-right:0} |
|
1396 | div.output_area .rendered_html img{margin-left:0;margin-right:0} | |
1396 | .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;display:flex;flex-direction:column;align-items:stretch} |
|
1397 | .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;display:flex;flex-direction:column;align-items:stretch} | |
1397 |
@media (max-width:480px){div.output_area{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;display:flex;flex-direction:column;align-items:stretch}}div.output_area pre{margin:0;padding:0;border:0; |
|
1398 | @media (max-width:480px){div.output_area{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;display:flex;flex-direction:column;align-items:stretch}}div.output_area pre{margin:0;padding:0;border:0;vertical-align:baseline;color:#000;background-color:transparent;border-radius:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0} | |
1398 | div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} |
|
1399 | div.output_subarea{padding:.4em .4em 0 .4em;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} | |
1399 | div.output_text{text-align:left;color:#000;line-height:1.21429em} |
|
1400 | div.output_text{text-align:left;color:#000;line-height:1.21429em} | |
1400 | div.output_stderr{background:#fdd;} |
|
1401 | div.output_stderr{background:#fdd;} | |
@@ -1515,7 +1516,7 b' ul#help_menu li a{overflow:hidden;padding-right:2.2em}ul#help_menu li a i{margin' | |||||
1515 | .notification_widget{color:#777;padding:1px 12px;margin:2px 4px;z-index:10;border:1px solid #ccc;border-radius:4px;background:rgba(240,240,240,0.5)}.notification_widget.span{padding-right:2px} |
|
1516 | .notification_widget{color:#777;padding:1px 12px;margin:2px 4px;z-index:10;border:1px solid #ccc;border-radius:4px;background:rgba(240,240,240,0.5)}.notification_widget.span{padding-right:2px} | |
1516 | div#pager_splitter{height:8px} |
|
1517 | div#pager_splitter{height:8px} | |
1517 | #pager-container{position:relative;padding:15px 0} |
|
1518 | #pager-container{position:relative;padding:15px 0} | |
1518 |
div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{ |
|
1519 | div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{line-height:1.21429em;color:#000;background-color:#f7f7f7;padding:.4em} | |
1519 | .quickhelp{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} |
|
1520 | .quickhelp{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch} | |
1520 | .shortcut_key{display:inline-block;width:20ex;text-align:right;font-family:monospace} |
|
1521 | .shortcut_key{display:inline-block;width:20ex;text-align:right;font-family:monospace} | |
1521 | .shortcut_descr{display:inline-block;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} |
|
1522 | .shortcut_descr{display:inline-block;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1} |
General Comments 0
You need to be logged in to leave comments.
Login now