|
@@
-1426,7
+1426,7
b' input.engine_num_input{height:20px;margin-bottom:2px;padding-top:0;padding-botto'
|
|
1426
|
.ansigrey{color:grey;}
|
|
1426
|
.ansigrey{color:grey;}
|
|
1427
|
.ansibold{font-weight:bold;}
|
|
1427
|
.ansibold{font-weight:bold;}
|
|
1428
|
.cell{border:1px solid transparent;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%;}.cell.selected{border-radius:4px;border:thin #ababab solid;}
|
|
1428
|
.cell{border:1px solid transparent;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%;}.cell.selected{border-radius:4px;border:thin #ababab solid;}
|
|
1429
|
div.cell{width:100%;padding:5px 5px 5px 0px;margin:2px 0px 2px 6px;outline:none;}
|
|
1429
|
div.cell{width:100%;padding:5px 5px 5px 0px;margin:2px 0px 2px 7px;outline:none;}
|
|
1430
|
div.prompt{width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;line-height:1.231em;}
|
|
1430
|
div.prompt{width:11ex;padding:0.4em;margin:0px;font-family:monospace;text-align:right;line-height:1.231em;}
|
|
1431
|
.celltoolbar{border:thin solid #CFCFCF;border-bottom:none;background:#EEE;border-top-right-radius:3px;border-top-left-radius:3px;width:100%;-webkit-box-pack:end;height:22px;}
|
|
1431
|
.celltoolbar{border:thin solid #CFCFCF;border-bottom:none;background:#EEE;border-top-right-radius:3px;border-top-left-radius:3px;width:100%;-webkit-box-pack:end;height:22px;}
|
|
1432
|
.no_input_radius{border-top-right-radius:0px;border-top-left-radius:0px;}
|
|
1432
|
.no_input_radius{border-top-right-radius:0px;border-top-left-radius:0px;}
|
|
@@
-1483,14
+1483,14
b' pre .coffeescript .javascript,pre .javascript .xml,pre .tex .formula,pre .xml .j'
|
|
1483
|
.cm-s-ipython span.cm-error{color:#f00;}
|
|
1483
|
.cm-s-ipython span.cm-error{color:#f00;}
|
|
1484
|
.cm-s-ipython span.cm-operator{color:#AA22FF;font-weight:bold;}
|
|
1484
|
.cm-s-ipython span.cm-operator{color:#AA22FF;font-weight:bold;}
|
|
1485
|
.cm-s-ipython span.cm-meta{color:#AA22FF;}
|
|
1485
|
.cm-s-ipython span.cm-meta{color:#AA22FF;}
|
|
1486
|
#menubar{margin-bottom:0px;}
|
|
1486
|
#menubar .navbar-inner{min-height:28px;border-top:1px;border-radius:0px 0px 4px 4px;}
|
|
1487
|
#menubar .navbar-inner{min-height:28px;}
|
|
1487
|
#menubar .navbar{margin-bottom:8px;}
|
|
1488
|
.nav-wrapper{border-bottom:1px solid #d4d4d4;}
|
|
1488
|
.nav-wrapper{border-bottom:1px solid #d4d4d4;}
|
|
1489
|
body{background-color:#ffffff;}
|
|
1489
|
body{background-color:#ffffff;}
|
|
1490
|
body.notebook_app{overflow:hidden;}
|
|
1490
|
body.notebook_app{overflow:hidden;}
|
|
1491
|
span#notebook_name{height:1em;line-height:1em;padding:3px;border:none;font-size:146.5%;}
|
|
1491
|
span#notebook_name{height:1em;line-height:1em;padding:3px;border:none;font-size:146.5%;}
|
|
1492
|
div#notebook_panel{margin:0px 0px 0px 0px;padding:0px;}
|
|
1492
|
div#notebook_panel{margin:0px 0px 0px 0px;padding:0px;-webkit-box-shadow:0 -1px 10px rgba(0, 0, 0, 0.1);-moz-box-shadow:0 -1px 10px rgba(0, 0, 0, 0.1);box-shadow:0 -1px 10px rgba(0, 0, 0, 0.1);}
|
|
1493
|
div#notebook{overflow-y:scroll;overflow-x:auto;width:100%;padding:5px 5px 15px 5px;margin:0px;}
|
|
1493
|
div#notebook{overflow-y:scroll;overflow-x:auto;width:100%;padding:5px 5px 15px 5px;margin:0px;border-top:1px solid #ababab;}
|
|
1494
|
div.ui-widget-content{border:1px solid #ababab;outline:none;}
|
|
1494
|
div.ui-widget-content{border:1px solid #ababab;outline:none;}
|
|
1495
|
pre.dialog{background-color:#f7f7f7;border:1px solid #ddd;border-radius:4px;padding:0.4em;padding-left:2em;}
|
|
1495
|
pre.dialog{background-color:#f7f7f7;border:1px solid #ddd;border-radius:4px;padding:0.4em;padding-left:2em;}
|
|
1496
|
p.dialog{padding:0.2em;}
|
|
1496
|
p.dialog{padding:0.2em;}
|
|
@@
-1552,9
+1552,11
b' div.text_cell_render{outline:none;resize:none;width:inherit;border-style:none;pa'
|
|
1552
|
a.heading-anchor{text-decoration:none;color:inherit;}
|
|
1552
|
a.heading-anchor{text-decoration:none;color:inherit;}
|
|
1553
|
a.anchor-link:link{text-decoration:none;padding:0px 20px;visibility:hidden;}
|
|
1553
|
a.anchor-link:link{text-decoration:none;padding:0px 20px;visibility:hidden;}
|
|
1554
|
h1:hover .anchor-link,h2:hover .anchor-link,h3:hover .anchor-link,h4:hover .anchor-link,h5:hover .anchor-link,h6:hover .anchor-link{visibility:visible;}
|
|
1554
|
h1:hover .anchor-link,h2:hover .anchor-link,h3:hover .anchor-link,h4:hover .anchor-link,h5:hover .anchor-link,h6:hover .anchor-link{visibility:visible;}
|
|
1555
|
.toolbar{padding:0px 10px;}.toolbar select,.toolbar label{width:auto;height:26px;vertical-align:middle;margin-right:2px;margin-bottom:0px;display:inline;font-size:92%;margin-left:0.3em;margin-right:0.3em;padding:0px;padding-top:3px;}
|
|
1555
|
.toolbar{padding:0px 10px;margin-top:-5px;}.toolbar select,.toolbar label{width:auto;height:26px;vertical-align:middle;margin-right:2px;margin-bottom:0px;display:inline;font-size:92%;margin-left:0.3em;margin-right:0.3em;padding:0px;padding-top:3px;}
|
|
1556
|
.toolbar .btn{padding:2px 8px;}
|
|
1556
|
.toolbar .btn{padding:2px 8px;}
|
|
1557
|
.toolbar .btn-group{margin-top:0px;}
|
|
1557
|
.toolbar .btn-group{margin-top:0px;}
|
|
|
|
|
1558
|
.toolbar-inner{border:none !important;-webkit-box-shadow:none !important;-moz-box-shadow:none !important;box-shadow:none !important;}
|
|
|
|
|
1559
|
#maintoolbar{margin-bottom:0px;}
|
|
1558
|
@-moz-keyframes fadeOut{from{opacity:1;} to{opacity:0;}}@-webkit-keyframes fadeOut{from{opacity:1;} to{opacity:0;}}@-moz-keyframes fadeIn{from{opacity:0;} to{opacity:1;}}@-webkit-keyframes fadeIn{from{opacity:0;} to{opacity:1;}}.bigtooltip{overflow:auto;height:200px;-webkit-transition-property:height;-webkit-transition-duration:500ms;-moz-transition-property:height;-moz-transition-duration:500ms;transition-property:height;transition-duration:500ms;}
|
|
1560
|
@-moz-keyframes fadeOut{from{opacity:1;} to{opacity:0;}}@-webkit-keyframes fadeOut{from{opacity:1;} to{opacity:0;}}@-moz-keyframes fadeIn{from{opacity:0;} to{opacity:1;}}@-webkit-keyframes fadeIn{from{opacity:0;} to{opacity:1;}}.bigtooltip{overflow:auto;height:200px;-webkit-transition-property:height;-webkit-transition-duration:500ms;-moz-transition-property:height;-moz-transition-duration:500ms;transition-property:height;transition-duration:500ms;}
|
|
1559
|
.smalltooltip{-webkit-transition-property:height;-webkit-transition-duration:500ms;-moz-transition-property:height;-moz-transition-duration:500ms;transition-property:height;transition-duration:500ms;text-overflow:ellipsis;overflow:hidden;height:80px;}
|
|
1561
|
.smalltooltip{-webkit-transition-property:height;-webkit-transition-duration:500ms;-moz-transition-property:height;-moz-transition-duration:500ms;transition-property:height;transition-duration:500ms;text-overflow:ellipsis;overflow:hidden;height:80px;}
|
|
1560
|
.tooltipbuttons{position:absolute;padding-right:15px;top:0px;right:0px;}
|
|
1562
|
.tooltipbuttons{position:absolute;padding-right:15px;top:0px;right:0px;}
|