##// END OF EJS Templates
Summary of changes:...
Summary of changes: 1) IPython/core/compilerop.py: IronPython __future__ flags are non-standard, Solution try/except; comment added 2) IPython/core/completer.py: __main__ was undefined, due to local mistake in creating IronPython scope; removed this tweak 3) IPython/core/prompts.py: os.getuid() is not defined (IronPython bug; see: https://mail.python.org/pipermail/ironpython-users/2014-February/016812.html) 4) IPython/lib/inputhook.py: ctypes SystemError; comment added 5) IPython/utils/process.py and IPython/utils/_process_cli.py: adds a new _process_cli.py which would handle the processes under cli; fixed os.pathsep 6) IPython/utils/io.py: devnull opened in append mode; changed to "w" 7) New issue: IPython/external/decorator/_decorator.py: IronPython doesn't have _getframes, unless FullFrames is set to true; comment added

File last commit:

r14874:763c3086
r15208:301956c6
Show More
notebook.less
67 lines | 1.2 KiB | text/x-less | LessCssLexer
body {
background-color: @bodyBackground;
}
body.notebook_app {
overflow: hidden;
}
span#notebook_name {
height: 1em;
line-height: 1em;
padding: 3px;
border: none;
font-size: 146.5%;
}
div#notebook_panel {
margin: 0px 0px 0px 0px;
padding: 0px;
.box-shadow(0 -1px 10px rgba(0,0,0,.1));
}
div#notebook {
overflow-y: scroll;
overflow-x: auto;
width: 100%;
/* This spaces the cell away from the edge of the notebook area */
padding: 1em 0 1em 0;
margin: 0px;
border-top: 1px solid @border_color;
outline: none;
.border-box-sizing();
}
div.ui-widget-content {
border: 1px solid @border_color;
outline: none;
}
pre.dialog {
background-color: @cell_background;
border: 1px solid #ddd;
.corner-all;
padding: 0.4em;
padding-left: 2em;
}
p.dialog {
padding : 0.2em;
}
/* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
*/
pre, code, kbd, samp { white-space: pre-wrap; }
#fonttest {
font-family: @monoFontFamily;
}
p {
margin-bottom:0;
}
.end_space {
height: 200px;
}