##// END OF EJS Templates
Updating CodeMirror to v 2.12....
Updating CodeMirror to v 2.12. For now I am keeping the old codemirror2 directory in here until we finish debugging the new version.

File last commit:

r4504:981bc0cc
r4504:981bc0cc
Show More
notebook.css
286 lines | 5.4 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: hidden;
}
span#save_widget {
position: absolute;
left: 0px;
padding: 5px 0px;
margin: 0px 0px 0px 0px;
}
input#notebook_name {
height: 1em;
line-height: 1em;
padding: 5px;
}
span#kernel_status {
position: absolute;
padding: 8px 5px 5px 5px;
right: 10px;
font-weight: bold;
}
.status_idle {
color: gray;
}
.status_busy {
color: red;
}
.status_restarting {
color: black;
}
div#left_panel {
overflow-y: auto;
top: 0px;
left: 0px;
margin: 0px;
padding: 0px;
position: absolute;
}
h3.section_header {
padding: 5px;
}
div.section_content {
padding: 5px;
}
span.section_row_buttons > button {
width: 60px;
}
.section_row {
margin: 5px 0px;
}
.section_row_buttons {
float: right;
}
#kernel_persist {
float: right;
}
.checkbox_label {
font-size: 85%;
float: right;
padding: 0.3em;
}
.section_row_header {
float: left;
font-size: 85%;
padding: 0.4em 0em;
font-weight: bold;
}
span.button_label {
padding: 0.2em 1em;
font-size: 77%;
float: right;
}
/* This is needed because FF was adding a 2px margin top and bottom. */
.section_row .ui-button {
margin-top: 0px;
margin-bottom: 0px;
}
#download_format {
float: right;
font-size: 85%;
width: 60px;
margin: 1px 5px;
}
div#left_panel_splitter {
width: 8px;
top: 0px;
left: 202px;
margin: 0px;
padding: 0px;
position: absolute;
}
div#notebook_panel {
/* The L margin will be set in the Javascript code*/
margin: 0px 0px 0px 0px;
padding: 0px;
}
div#notebook {
overflow-y: scroll;
overflow-x: auto;
width: 100%;
padding: 0px 15px 0px 15px;
margin: 0px
background-color: white;
}
div#pager_splitter {
height: 8px;
}
div#pager {
padding: 15px;
overflow: auto;
}
div.cell {
width: 100%;
padding: 5px;
/* This acts as a spacer between cells, that is outside the border */
margin: 15px 0px 15px 0px;
}
div.code_cell {
background-color: white;
}
div.prompt {
width: 80px;
padding: 0.4em;
margin: 0px;
font-family: monospace;
}
div.input_prompt {
color: navy;
}
div.output {
/* This is a spacer between the input and output of each cell */
margin-top: 15px;
}
div.output_prompt {
color: darkred;
}
div.input_area {
color: black;
}
div.output_area {
text-align: left;
color: black;
font-family: monospace;
}
div.output_stream {
padding: 0.4em;
}
div.output_latex {
/* Slightly bigger than the rest of the notebook */
font-size: 116%;
}
div.output_html {
}
div.output_png {
}
div.html_cell {
background-color: white;
}
div.html_cell_input {
color: black;
}
div.html_cell_render {
font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
/* Slightly bigger than the rest of the notebook */
font-size: 116%;
outline: none;
resize: none;
width: inherit;
border-style: none;
padding: 5px;
color: black;
}
div.html_cell_render em {font-style: italic;}
div.html_cell_render strong {font-weight: bold;}
div.html_cell_render u {text-decoration: underline;}
div.html_cell_render :link { text-decoration: underline }
div.html_cell_render :visited { text-decoration: underline }
div.html_cell_render h1 {font-size: 197%; margin: .67em 0; font-weight: bold;}
div.html_cell_render h2 {font-size: 153.9%; margin: .75em 0; font-weight: bold;}
div.html_cell_render h3 {font-size: 116%; margin: .83em 0; font-weight: bold;}
div.html_cell_render h4 {margin: 1.12em 0; font-weight: bold;}
div.html_cell_render h5 {font-size: 85%.; margin: 1.5em 0; font-weight: bold;}
div.html_cell_render h6 {font-size: 77%; margin: 1.67em 0; font-weight: bold;}
div.html_cell_render ul {list-style:disc; margin-left: 40px;}
div.html_cell_render ul ul {list-style:square; margin-left: 40px;}
div.html_cell_render ul ul ul {list-style:circle; margin-left: 40px;}
div.html_cell_render ol {list-style:upper-roman; margin-left: 40px;}
div.html_cell_render ol ol {list-style:upper-alpha;}
div.html_cell_render ol ol ol {list-style:decimal;}
div.html_cell_render ol ol ol ol {list-style:lower-alpha;}
div.html_cell_render ol ol ol ol ol {list-style:lower-roman;}
.CodeMirror {
line-height: 1.231; /* Changed from 1em to our global default */
}
.CodeMirror-scroll {
height: auto; /* Changed to auto to autogrow */
overflow-y: visible; /* Changed from auto to remove scrollbar */
overflow-x: auto; /* Changed from auto to remove scrollbar */
}
/* CSS font colors for translated ANSI colors. */
.ansiblack {color: black;}
.ansired {color: darkred;}
.ansigreen {color: darkgreen;}
.ansiyellow {color: brown;}
.ansiblue {color: darkblue;}
.ansipurple {color: darkviolet;}
.ansicyan {color: steelblue;}
.ansigrey {color: grey;}
.ansibold {font-weight: bold;}
.completions {
position: absolute;
z-index: 10;
overflow: auto;
border: 1px solid black;
}
.completions select {
background: white;
outline: none;
border: none;
padding: 0px;
margin: 0px;
font-family: monospace;
}