##// END OF EJS Templates
Don't assume history request succeeded...
Don't assume history request succeeded errors in startup can cause the history request to be aborted. There could be any of a number of reasons the history request should fail, and the frontend should *never* assume that the status is 'ok'.

File last commit:

r4491:53c7ec74
r4700:24d3b02a
Show More
nbbrowser.css
82 lines | 1.0 KiB | text/css | CssLexer
/**
* Primary styles
*
* Author: IPython Development Team
*/
body {
background-color: white;
/* This makes sure that the body covers the entire window and needs to
be in a different element than the display: box in wrapper below */
position: absolute;
left: 0px;
right: 0px;
top: 0px;
bottom: 0px;
overflow: auto;
}
#left_panel {
}
#drop_zone {
height: 200px;
width: 200px
}
#content_panel {
width: 600px;
}
#content_toolbar {
padding: 10px 5px 5px 5px;
height: 25px;
line-height: 25px;
}
#header_border {
width: 100%;
height: 2px;
}
#app_hbox {
width: 100%;
}
#drag_info {
float: left;
}
#notebooks_buttons {
float: right;
}
#project_name {
height: 25px;
line-height: 25px;
padding: 3px;
}
.notebook_item {
height: 25px;
line-height: 25px;
padding: 3px;
}
.notebook_item a {
text-decoration: none;
}
.item_buttons {
float: right;
}
.item_buttons .upload_button {
color: darkred;
}
.highlight_text {
color: blue;
}