|
|
/*!
|
|
|
*
|
|
|
* IPython base
|
|
|
*
|
|
|
*/
|
|
|
.modal.fade .modal-dialog {
|
|
|
-webkit-transform: translate(0, 0);
|
|
|
-ms-transform: translate(0, 0);
|
|
|
-o-transform: translate(0, 0);
|
|
|
transform: translate(0, 0);
|
|
|
}
|
|
|
code {
|
|
|
color: #000000;
|
|
|
}
|
|
|
pre {
|
|
|
font-size: inherit;
|
|
|
line-height: inherit;
|
|
|
}
|
|
|
label {
|
|
|
font-weight: normal;
|
|
|
}
|
|
|
/* Make the page background atleast 100% the height of the view port */
|
|
|
/* Make the page itself atleast 70% the height of the view port */
|
|
|
.border-box-sizing {
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
}
|
|
|
.corner-all {
|
|
|
border-radius: 2px;
|
|
|
}
|
|
|
.no-padding {
|
|
|
padding: 0px;
|
|
|
}
|
|
|
/* Flexible box model classes */
|
|
|
/* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */
|
|
|
/* This file is a compatability layer. It allows the usage of flexible box
|
|
|
model layouts accross multiple browsers, including older browsers. The newest,
|
|
|
universal implementation of the flexible box model is used when available (see
|
|
|
`Modern browsers` comments below). Browsers that are known to implement this
|
|
|
new spec completely include:
|
|
|
|
|
|
Firefox 28.0+
|
|
|
Chrome 29.0+
|
|
|
Internet Explorer 11+
|
|
|
Opera 17.0+
|
|
|
|
|
|
Browsers not listed, including Safari, are supported via the styling under the
|
|
|
`Old browsers` comments below.
|
|
|
*/
|
|
|
.hbox {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.hbox > * {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.vbox {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.vbox > * {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.hbox.reverse,
|
|
|
.vbox.reverse,
|
|
|
.reverse {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-direction: reverse;
|
|
|
-moz-box-direction: reverse;
|
|
|
box-direction: reverse;
|
|
|
/* Modern browsers */
|
|
|
flex-direction: row-reverse;
|
|
|
}
|
|
|
.hbox.box-flex0,
|
|
|
.vbox.box-flex0,
|
|
|
.box-flex0 {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
width: auto;
|
|
|
}
|
|
|
.hbox.box-flex1,
|
|
|
.vbox.box-flex1,
|
|
|
.box-flex1 {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
.hbox.box-flex,
|
|
|
.vbox.box-flex,
|
|
|
.box-flex {
|
|
|
/* Old browsers */
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
.hbox.box-flex2,
|
|
|
.vbox.box-flex2,
|
|
|
.box-flex2 {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 2;
|
|
|
-moz-box-flex: 2;
|
|
|
box-flex: 2;
|
|
|
/* Modern browsers */
|
|
|
flex: 2;
|
|
|
}
|
|
|
.box-group1 {
|
|
|
/* Deprecated */
|
|
|
-webkit-box-flex-group: 1;
|
|
|
-moz-box-flex-group: 1;
|
|
|
box-flex-group: 1;
|
|
|
}
|
|
|
.box-group2 {
|
|
|
/* Deprecated */
|
|
|
-webkit-box-flex-group: 2;
|
|
|
-moz-box-flex-group: 2;
|
|
|
box-flex-group: 2;
|
|
|
}
|
|
|
.hbox.start,
|
|
|
.vbox.start,
|
|
|
.start {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: start;
|
|
|
-moz-box-pack: start;
|
|
|
box-pack: start;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-start;
|
|
|
}
|
|
|
.hbox.end,
|
|
|
.vbox.end,
|
|
|
.end {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: end;
|
|
|
-moz-box-pack: end;
|
|
|
box-pack: end;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-end;
|
|
|
}
|
|
|
.hbox.center,
|
|
|
.vbox.center,
|
|
|
.center {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: center;
|
|
|
-moz-box-pack: center;
|
|
|
box-pack: center;
|
|
|
/* Modern browsers */
|
|
|
justify-content: center;
|
|
|
}
|
|
|
.hbox.baseline,
|
|
|
.vbox.baseline,
|
|
|
.baseline {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: baseline;
|
|
|
-moz-box-pack: baseline;
|
|
|
box-pack: baseline;
|
|
|
/* Modern browsers */
|
|
|
justify-content: baseline;
|
|
|
}
|
|
|
.hbox.stretch,
|
|
|
.vbox.stretch,
|
|
|
.stretch {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: stretch;
|
|
|
-moz-box-pack: stretch;
|
|
|
box-pack: stretch;
|
|
|
/* Modern browsers */
|
|
|
justify-content: stretch;
|
|
|
}
|
|
|
.hbox.align-start,
|
|
|
.vbox.align-start,
|
|
|
.align-start {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: start;
|
|
|
-moz-box-align: start;
|
|
|
box-align: start;
|
|
|
/* Modern browsers */
|
|
|
align-items: flex-start;
|
|
|
}
|
|
|
.hbox.align-end,
|
|
|
.vbox.align-end,
|
|
|
.align-end {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: end;
|
|
|
-moz-box-align: end;
|
|
|
box-align: end;
|
|
|
/* Modern browsers */
|
|
|
align-items: flex-end;
|
|
|
}
|
|
|
.hbox.align-center,
|
|
|
.vbox.align-center,
|
|
|
.align-center {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: center;
|
|
|
-moz-box-align: center;
|
|
|
box-align: center;
|
|
|
/* Modern browsers */
|
|
|
align-items: center;
|
|
|
}
|
|
|
.hbox.align-baseline,
|
|
|
.vbox.align-baseline,
|
|
|
.align-baseline {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: baseline;
|
|
|
-moz-box-align: baseline;
|
|
|
box-align: baseline;
|
|
|
/* Modern browsers */
|
|
|
align-items: baseline;
|
|
|
}
|
|
|
.hbox.align-stretch,
|
|
|
.vbox.align-stretch,
|
|
|
.align-stretch {
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: stretch;
|
|
|
-moz-box-align: stretch;
|
|
|
box-align: stretch;
|
|
|
/* Modern browsers */
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
div.error {
|
|
|
margin: 2em;
|
|
|
text-align: center;
|
|
|
}
|
|
|
div.error > h1 {
|
|
|
font-size: 500%;
|
|
|
line-height: normal;
|
|
|
}
|
|
|
div.error > p {
|
|
|
font-size: 200%;
|
|
|
line-height: normal;
|
|
|
}
|
|
|
div.traceback-wrapper {
|
|
|
text-align: left;
|
|
|
max-width: 800px;
|
|
|
margin: auto;
|
|
|
}
|
|
|
/*!
|
|
|
*
|
|
|
* IPython notebook
|
|
|
*
|
|
|
*/
|
|
|
/* CSS font colors for translated ANSI colors. */
|
|
|
.ansibold {
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
/* use dark versions for foreground, to improve visibility */
|
|
|
.ansiblack {
|
|
|
color: black;
|
|
|
}
|
|
|
.ansired {
|
|
|
color: darkred;
|
|
|
}
|
|
|
.ansigreen {
|
|
|
color: darkgreen;
|
|
|
}
|
|
|
.ansiyellow {
|
|
|
color: #c4a000;
|
|
|
}
|
|
|
.ansiblue {
|
|
|
color: darkblue;
|
|
|
}
|
|
|
.ansipurple {
|
|
|
color: darkviolet;
|
|
|
}
|
|
|
.ansicyan {
|
|
|
color: steelblue;
|
|
|
}
|
|
|
.ansigray {
|
|
|
color: gray;
|
|
|
}
|
|
|
/* and light for background, for the same reason */
|
|
|
.ansibgblack {
|
|
|
background-color: black;
|
|
|
}
|
|
|
.ansibgred {
|
|
|
background-color: red;
|
|
|
}
|
|
|
.ansibggreen {
|
|
|
background-color: green;
|
|
|
}
|
|
|
.ansibgyellow {
|
|
|
background-color: yellow;
|
|
|
}
|
|
|
.ansibgblue {
|
|
|
background-color: blue;
|
|
|
}
|
|
|
.ansibgpurple {
|
|
|
background-color: magenta;
|
|
|
}
|
|
|
.ansibgcyan {
|
|
|
background-color: cyan;
|
|
|
}
|
|
|
.ansibggray {
|
|
|
background-color: gray;
|
|
|
}
|
|
|
div.cell {
|
|
|
border: 1px solid transparent;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
border-radius: 2px;
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
border-width: thin;
|
|
|
border-style: solid;
|
|
|
width: 100%;
|
|
|
padding: 5px;
|
|
|
/* This acts as a spacer between cells, that is outside the border */
|
|
|
margin: 0px;
|
|
|
outline: none;
|
|
|
}
|
|
|
div.cell.selected {
|
|
|
border-color: #ababab;
|
|
|
/* Don't border the cells when printing */
|
|
|
}
|
|
|
@media print {
|
|
|
div.cell.selected {
|
|
|
border-color: transparent;
|
|
|
}
|
|
|
}
|
|
|
.edit_mode div.cell.selected {
|
|
|
border-color: green;
|
|
|
/* Don't border the cells when printing */
|
|
|
}
|
|
|
@media print {
|
|
|
.edit_mode div.cell.selected {
|
|
|
border-color: transparent;
|
|
|
}
|
|
|
}
|
|
|
.prompt {
|
|
|
/* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
|
|
|
min-width: 14ex;
|
|
|
/* This padding is tuned to match the padding on the CodeMirror editor. */
|
|
|
padding: 0.4em;
|
|
|
margin: 0px;
|
|
|
font-family: monospace;
|
|
|
text-align: right;
|
|
|
/* This has to match that of the the CodeMirror class line-height below */
|
|
|
line-height: 1.21429em;
|
|
|
}
|
|
|
@media (max-width: 540px) {
|
|
|
.prompt {
|
|
|
text-align: left;
|
|
|
}
|
|
|
}
|
|
|
div.inner_cell {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
@-moz-document url-prefix() {
|
|
|
div.inner_cell {
|
|
|
overflow-x: hidden;
|
|
|
}
|
|
|
}
|
|
|
/* input_area and input_prompt must match in top border and margin for alignment */
|
|
|
div.input_area {
|
|
|
border: 1px solid #cfcfcf;
|
|
|
border-radius: 2px;
|
|
|
background: #f7f7f7;
|
|
|
line-height: 1.21429em;
|
|
|
}
|
|
|
/* This is needed so that empty prompt areas can collapse to zero height when there
|
|
|
is no content in the output_subarea and the prompt. The main purpose of this is
|
|
|
to make sure that empty JavaScript output_subareas have no height. */
|
|
|
div.prompt:empty {
|
|
|
padding-top: 0;
|
|
|
padding-bottom: 0;
|
|
|
}
|
|
|
div.unrecognized_cell {
|
|
|
padding: 5px 5px 5px 0px;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
div.unrecognized_cell .inner_cell {
|
|
|
border-radius: 2px;
|
|
|
padding: 5px;
|
|
|
font-weight: bold;
|
|
|
color: red;
|
|
|
border: 1px solid #cfcfcf;
|
|
|
background: #eaeaea;
|
|
|
}
|
|
|
div.unrecognized_cell .inner_cell a {
|
|
|
color: inherit;
|
|
|
text-decoration: none;
|
|
|
}
|
|
|
div.unrecognized_cell .inner_cell a:hover {
|
|
|
color: inherit;
|
|
|
text-decoration: none;
|
|
|
}
|
|
|
@media (max-width: 540px) {
|
|
|
div.unrecognized_cell > div.prompt {
|
|
|
display: none;
|
|
|
}
|
|
|
}
|
|
|
div.code_cell {
|
|
|
/* avoid page breaking on code cells when printing */
|
|
|
}
|
|
|
@media print {
|
|
|
div.code_cell {
|
|
|
page-break-inside: avoid;
|
|
|
}
|
|
|
}
|
|
|
/* any special styling for code cells that are currently running goes here */
|
|
|
div.input {
|
|
|
page-break-inside: avoid;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
@media (max-width: 540px) {
|
|
|
div.input {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
}
|
|
|
/* input_area and input_prompt must match in top border and margin for alignment */
|
|
|
div.input_prompt {
|
|
|
color: navy;
|
|
|
border-top: 1px solid transparent;
|
|
|
}
|
|
|
div.input_area > div.highlight {
|
|
|
margin: 0.4em;
|
|
|
border: none;
|
|
|
padding: 0px;
|
|
|
background-color: transparent;
|
|
|
}
|
|
|
div.input_area > div.highlight > pre {
|
|
|
margin: 0px;
|
|
|
border: none;
|
|
|
padding: 0px;
|
|
|
background-color: transparent;
|
|
|
}
|
|
|
/* The following gets added to the <head> if it is detected that the user has a
|
|
|
* monospace font with inconsistent normal/bold/italic height. See
|
|
|
* notebookmain.js. Such fonts will have keywords vertically offset with
|
|
|
* respect to the rest of the text. The user should select a better font.
|
|
|
* See: https://github.com/ipython/ipython/issues/1503
|
|
|
*
|
|
|
* .CodeMirror span {
|
|
|
* vertical-align: bottom;
|
|
|
* }
|
|
|
*/
|
|
|
.CodeMirror {
|
|
|
line-height: 1.21429em;
|
|
|
/* Changed from 1em to our global default */
|
|
|
font-size: 14px;
|
|
|
height: auto;
|
|
|
/* Changed to auto to autogrow */
|
|
|
background: none;
|
|
|
/* Changed from white to allow our bg to show through */
|
|
|
}
|
|
|
.CodeMirror-scroll {
|
|
|
/* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
|
|
|
/* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
|
|
|
overflow-y: hidden;
|
|
|
overflow-x: auto;
|
|
|
}
|
|
|
.CodeMirror-lines {
|
|
|
/* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
|
|
|
/* we have set a different line-height and want this to scale with that. */
|
|
|
padding: 0.4em;
|
|
|
}
|
|
|
.CodeMirror-linenumber {
|
|
|
padding: 0 8px 0 4px;
|
|
|
}
|
|
|
.CodeMirror-gutters {
|
|
|
border-bottom-left-radius: 2px;
|
|
|
border-top-left-radius: 2px;
|
|
|
}
|
|
|
.CodeMirror pre {
|
|
|
/* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
|
|
|
/* .CodeMirror-lines */
|
|
|
padding: 0;
|
|
|
border: 0;
|
|
|
border-radius: 0;
|
|
|
}
|
|
|
/*
|
|
|
|
|
|
Original style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiacs.Org>
|
|
|
Adapted from GitHub theme
|
|
|
|
|
|
*/
|
|
|
.highlight-base {
|
|
|
color: #000000;
|
|
|
}
|
|
|
.highlight-variable {
|
|
|
color: #000000;
|
|
|
}
|
|
|
.highlight-variable-2 {
|
|
|
color: #1a1a1a;
|
|
|
}
|
|
|
.highlight-variable-3 {
|
|
|
color: #333333;
|
|
|
}
|
|
|
.highlight-string {
|
|
|
color: #BA2121;
|
|
|
}
|
|
|
.highlight-comment {
|
|
|
color: #408080;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.highlight-number {
|
|
|
color: #080;
|
|
|
}
|
|
|
.highlight-atom {
|
|
|
color: #88F;
|
|
|
}
|
|
|
.highlight-keyword {
|
|
|
color: #008000;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.highlight-builtin {
|
|
|
color: #008000;
|
|
|
}
|
|
|
.highlight-error {
|
|
|
color: #f00;
|
|
|
}
|
|
|
.highlight-operator {
|
|
|
color: #AA22FF;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.highlight-meta {
|
|
|
color: #AA22FF;
|
|
|
}
|
|
|
/* previously not defined, copying from default codemirror */
|
|
|
.highlight-def {
|
|
|
color: #00f;
|
|
|
}
|
|
|
.highlight-string-2 {
|
|
|
color: #f50;
|
|
|
}
|
|
|
.highlight-qualifier {
|
|
|
color: #555;
|
|
|
}
|
|
|
.highlight-bracket {
|
|
|
color: #997;
|
|
|
}
|
|
|
.highlight-tag {
|
|
|
color: #170;
|
|
|
}
|
|
|
.highlight-attribute {
|
|
|
color: #00c;
|
|
|
}
|
|
|
.highlight-header {
|
|
|
color: blue;
|
|
|
}
|
|
|
.highlight-quote {
|
|
|
color: #090;
|
|
|
}
|
|
|
.highlight-link {
|
|
|
color: #00c;
|
|
|
}
|
|
|
/* apply the same style to codemirror */
|
|
|
.cm-s-ipython span.cm-keyword {
|
|
|
color: #008000;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-atom {
|
|
|
color: #88F;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-number {
|
|
|
color: #080;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-def {
|
|
|
color: #00f;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-variable {
|
|
|
color: #000000;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-operator {
|
|
|
color: #AA22FF;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-variable-2 {
|
|
|
color: #1a1a1a;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-variable-3 {
|
|
|
color: #333333;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-comment {
|
|
|
color: #408080;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-string {
|
|
|
color: #BA2121;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-string-2 {
|
|
|
color: #f50;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-meta {
|
|
|
color: #AA22FF;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-qualifier {
|
|
|
color: #555;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-builtin {
|
|
|
color: #008000;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-bracket {
|
|
|
color: #997;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-tag {
|
|
|
color: #170;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-attribute {
|
|
|
color: #00c;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-header {
|
|
|
color: blue;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-quote {
|
|
|
color: #090;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-link {
|
|
|
color: #00c;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-error {
|
|
|
color: #f00;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-tab {
|
|
|
background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAMCAYAAAAkuj5RAAAAAXNSR0IArs4c6QAAAGFJREFUSMft1LsRQFAQheHPowAKoACx3IgEKtaEHujDjORSgWTH/ZOdnZOcM/sgk/kFFWY0qV8foQwS4MKBCS3qR6ixBJvElOobYAtivseIE120FaowJPN75GMu8j/LfMwNjh4HUpwg4LUAAAAASUVORK5CYII=);
|
|
|
background-position: right;
|
|
|
background-repeat: no-repeat;
|
|
|
}
|
|
|
div.output_wrapper {
|
|
|
/* this position must be relative to enable descendents to be absolute within it */
|
|
|
position: relative;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
z-index: 1;
|
|
|
}
|
|
|
/* class for the output area when it should be height-limited */
|
|
|
div.output_scroll {
|
|
|
/* ideally, this would be max-height, but FF barfs all over that */
|
|
|
height: 24em;
|
|
|
/* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
|
|
|
width: 100%;
|
|
|
overflow: auto;
|
|
|
border-radius: 2px;
|
|
|
-webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
|
|
|
box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
|
|
|
display: block;
|
|
|
}
|
|
|
/* output div while it is collapsed */
|
|
|
div.output_collapsed {
|
|
|
margin: 0px;
|
|
|
padding: 0px;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
div.out_prompt_overlay {
|
|
|
height: 100%;
|
|
|
padding: 0px 0.4em;
|
|
|
position: absolute;
|
|
|
border-radius: 2px;
|
|
|
}
|
|
|
div.out_prompt_overlay:hover {
|
|
|
/* use inner shadow to get border that is computed the same on WebKit/FF */
|
|
|
-webkit-box-shadow: inset 0 0 1px #000000;
|
|
|
box-shadow: inset 0 0 1px #000000;
|
|
|
background: rgba(240, 240, 240, 0.5);
|
|
|
}
|
|
|
div.output_prompt {
|
|
|
color: darkred;
|
|
|
}
|
|
|
/* This class is the outer container of all output sections. */
|
|
|
div.output_area {
|
|
|
padding: 0px;
|
|
|
page-break-inside: avoid;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
div.output_area .MathJax_Display {
|
|
|
text-align: left !important;
|
|
|
}
|
|
|
div.output_area .rendered_html table {
|
|
|
margin-left: 0;
|
|
|
margin-right: 0;
|
|
|
}
|
|
|
div.output_area .rendered_html img {
|
|
|
margin-left: 0;
|
|
|
margin-right: 0;
|
|
|
}
|
|
|
/* This is needed to protect the pre formating from global settings such
|
|
|
as that of bootstrap */
|
|
|
.output {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
@media (max-width: 540px) {
|
|
|
div.output_area {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
}
|
|
|
div.output_area pre {
|
|
|
margin: 0;
|
|
|
padding: 0;
|
|
|
border: 0;
|
|
|
vertical-align: baseline;
|
|
|
color: black;
|
|
|
background-color: transparent;
|
|
|
border-radius: 0;
|
|
|
}
|
|
|
/* This class is for the output subarea inside the output_area and after
|
|
|
the prompt div. */
|
|
|
div.output_subarea {
|
|
|
padding: 0.4em;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
/* The rest of the output_* classes are for special styling of the different
|
|
|
output types */
|
|
|
/* all text output has this class: */
|
|
|
div.output_text {
|
|
|
text-align: left;
|
|
|
color: #000000;
|
|
|
/* This has to match that of the the CodeMirror class line-height below */
|
|
|
line-height: 1.21429em;
|
|
|
}
|
|
|
/* stdout/stderr are 'text' as well as 'stream', but execute_result/error are *not* streams */
|
|
|
div.output_stderr {
|
|
|
background: #fdd;
|
|
|
/* very light red background for stderr */
|
|
|
}
|
|
|
div.output_latex {
|
|
|
text-align: left;
|
|
|
}
|
|
|
/* Empty output_javascript divs should have no height */
|
|
|
div.output_javascript:empty {
|
|
|
padding: 0;
|
|
|
}
|
|
|
.js-error {
|
|
|
color: darkred;
|
|
|
}
|
|
|
/* raw_input styles */
|
|
|
div.raw_input_container {
|
|
|
font-family: monospace;
|
|
|
padding-top: 5px;
|
|
|
}
|
|
|
span.raw_input_prompt {
|
|
|
/* nothing needed here */
|
|
|
}
|
|
|
input.raw_input {
|
|
|
font-family: inherit;
|
|
|
font-size: inherit;
|
|
|
color: inherit;
|
|
|
width: auto;
|
|
|
/* make sure input baseline aligns with prompt */
|
|
|
vertical-align: baseline;
|
|
|
/* padding + margin = 0.5em between prompt and cursor */
|
|
|
padding: 0em 0.25em;
|
|
|
margin: 0em 0.25em;
|
|
|
}
|
|
|
input.raw_input:focus {
|
|
|
box-shadow: none;
|
|
|
}
|
|
|
p.p-space {
|
|
|
margin-bottom: 10px;
|
|
|
}
|
|
|
div.output_unrecognized {
|
|
|
padding: 5px;
|
|
|
font-weight: bold;
|
|
|
color: red;
|
|
|
}
|
|
|
div.output_unrecognized a {
|
|
|
color: inherit;
|
|
|
text-decoration: none;
|
|
|
}
|
|
|
div.output_unrecognized a:hover {
|
|
|
color: inherit;
|
|
|
text-decoration: none;
|
|
|
}
|
|
|
.rendered_html {
|
|
|
color: #000000;
|
|
|
/* any extras will just be numbers: */
|
|
|
}
|
|
|
.rendered_html em {
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.rendered_html strong {
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.rendered_html u {
|
|
|
text-decoration: underline;
|
|
|
}
|
|
|
.rendered_html :link {
|
|
|
text-decoration: underline;
|
|
|
}
|
|
|
.rendered_html :visited {
|
|
|
text-decoration: underline;
|
|
|
}
|
|
|
.rendered_html h1 {
|
|
|
font-size: 185.7%;
|
|
|
margin: 1.08em 0 0 0;
|
|
|
font-weight: bold;
|
|
|
line-height: 1.0;
|
|
|
}
|
|
|
.rendered_html h2 {
|
|
|
font-size: 157.1%;
|
|
|
margin: 1.27em 0 0 0;
|
|
|
font-weight: bold;
|
|
|
line-height: 1.0;
|
|
|
}
|
|
|
.rendered_html h3 {
|
|
|
font-size: 128.6%;
|
|
|
margin: 1.55em 0 0 0;
|
|
|
font-weight: bold;
|
|
|
line-height: 1.0;
|
|
|
}
|
|
|
.rendered_html h4 {
|
|
|
font-size: 100%;
|
|
|
margin: 2em 0 0 0;
|
|
|
font-weight: bold;
|
|
|
line-height: 1.0;
|
|
|
}
|
|
|
.rendered_html h5 {
|
|
|
font-size: 100%;
|
|
|
margin: 2em 0 0 0;
|
|
|
font-weight: bold;
|
|
|
line-height: 1.0;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.rendered_html h6 {
|
|
|
font-size: 100%;
|
|
|
margin: 2em 0 0 0;
|
|
|
font-weight: bold;
|
|
|
line-height: 1.0;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.rendered_html h1:first-child {
|
|
|
margin-top: 0.538em;
|
|
|
}
|
|
|
.rendered_html h2:first-child {
|
|
|
margin-top: 0.636em;
|
|
|
}
|
|
|
.rendered_html h3:first-child {
|
|
|
margin-top: 0.777em;
|
|
|
}
|
|
|
.rendered_html h4:first-child {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html h5:first-child {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html h6:first-child {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html ul {
|
|
|
list-style: disc;
|
|
|
margin: 0em 2em;
|
|
|
padding-left: 0px;
|
|
|
}
|
|
|
.rendered_html ul ul {
|
|
|
list-style: square;
|
|
|
margin: 0em 2em;
|
|
|
}
|
|
|
.rendered_html ul ul ul {
|
|
|
list-style: circle;
|
|
|
margin: 0em 2em;
|
|
|
}
|
|
|
.rendered_html ol {
|
|
|
list-style: decimal;
|
|
|
margin: 0em 2em;
|
|
|
padding-left: 0px;
|
|
|
}
|
|
|
.rendered_html ol ol {
|
|
|
list-style: upper-alpha;
|
|
|
margin: 0em 2em;
|
|
|
}
|
|
|
.rendered_html ol ol ol {
|
|
|
list-style: lower-alpha;
|
|
|
margin: 0em 2em;
|
|
|
}
|
|
|
.rendered_html ol ol ol ol {
|
|
|
list-style: lower-roman;
|
|
|
margin: 0em 2em;
|
|
|
}
|
|
|
.rendered_html ol ol ol ol ol {
|
|
|
list-style: decimal;
|
|
|
margin: 0em 2em;
|
|
|
}
|
|
|
.rendered_html * + ul {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html * + ol {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html hr {
|
|
|
color: black;
|
|
|
background-color: black;
|
|
|
}
|
|
|
.rendered_html pre {
|
|
|
margin: 1em 2em;
|
|
|
}
|
|
|
.rendered_html pre,
|
|
|
.rendered_html code {
|
|
|
border: 0;
|
|
|
background-color: #ffffff;
|
|
|
color: #000000;
|
|
|
font-size: 100%;
|
|
|
padding: 0px;
|
|
|
}
|
|
|
.rendered_html blockquote {
|
|
|
margin: 1em 2em;
|
|
|
}
|
|
|
.rendered_html table {
|
|
|
margin-left: auto;
|
|
|
margin-right: auto;
|
|
|
border: 1px solid black;
|
|
|
border-collapse: collapse;
|
|
|
}
|
|
|
.rendered_html tr,
|
|
|
.rendered_html th,
|
|
|
.rendered_html td {
|
|
|
border: 1px solid black;
|
|
|
border-collapse: collapse;
|
|
|
margin: 1em 2em;
|
|
|
}
|
|
|
.rendered_html td,
|
|
|
.rendered_html th {
|
|
|
text-align: left;
|
|
|
vertical-align: middle;
|
|
|
padding: 4px;
|
|
|
}
|
|
|
.rendered_html th {
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.rendered_html * + table {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html p {
|
|
|
text-align: left;
|
|
|
}
|
|
|
.rendered_html * + p {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
.rendered_html img {
|
|
|
display: block;
|
|
|
margin-left: auto;
|
|
|
margin-right: auto;
|
|
|
}
|
|
|
.rendered_html * + img {
|
|
|
margin-top: 1em;
|
|
|
}
|
|
|
div.text_cell {
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
@media (max-width: 540px) {
|
|
|
div.text_cell > div.prompt {
|
|
|
display: none;
|
|
|
}
|
|
|
}
|
|
|
div.text_cell_render {
|
|
|
/*font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;*/
|
|
|
outline: none;
|
|
|
resize: none;
|
|
|
width: inherit;
|
|
|
border-style: none;
|
|
|
padding: 0.5em 0.5em 0.5em 0.4em;
|
|
|
color: #000000;
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
}
|
|
|
a.anchor-link:link {
|
|
|
text-decoration: none;
|
|
|
padding: 0px 20px;
|
|
|
visibility: hidden;
|
|
|
}
|
|
|
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;
|
|
|
}
|
|
|
.text_cell.rendered .input_area {
|
|
|
display: none;
|
|
|
}
|
|
|
.text_cell.unrendered .text_cell_render {
|
|
|
display: none;
|
|
|
}
|
|
|
.cm-header-1,
|
|
|
.cm-header-2,
|
|
|
.cm-header-3,
|
|
|
.cm-header-4,
|
|
|
.cm-header-5,
|
|
|
.cm-header-6 {
|
|
|
font-weight: bold;
|
|
|
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
|
|
|
}
|
|
|
.cm-header-1 {
|
|
|
font-size: 185.7%;
|
|
|
}
|
|
|
.cm-header-2 {
|
|
|
font-size: 157.1%;
|
|
|
}
|
|
|
.cm-header-3 {
|
|
|
font-size: 128.6%;
|
|
|
}
|
|
|
.cm-header-4 {
|
|
|
font-size: 110%;
|
|
|
}
|
|
|
.cm-header-5 {
|
|
|
font-size: 100%;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.cm-header-6 {
|
|
|
font-size: 100%;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.widget-interact > div,
|
|
|
.widget-interact > input {
|
|
|
padding: 2.5px;
|
|
|
}
|
|
|
.widget-area {
|
|
|
/*
|
|
|
LESS file that styles IPython notebook widgets and the area they sit in.
|
|
|
|
|
|
The widget area typically looks something like this:
|
|
|
+------------------------------------------+
|
|
|
| widget-area |
|
|
|
| +--------+---------------------------+ |
|
|
|
| | prompt | widget-subarea | |
|
|
|
| | | +--------+ +--------+ | |
|
|
|
| | | | widget | | widget | | |
|
|
|
| | | +--------+ +--------+ | |
|
|
|
| +--------+---------------------------+ |
|
|
|
+------------------------------------------+
|
|
|
*/
|
|
|
page-break-inside: avoid;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.widget-area .widget-subarea {
|
|
|
padding: 0.44em 0.4em 0.4em 1px;
|
|
|
margin-left: 6px;
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 2;
|
|
|
-moz-box-flex: 2;
|
|
|
box-flex: 2;
|
|
|
/* Modern browsers */
|
|
|
flex: 2;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: start;
|
|
|
-moz-box-align: start;
|
|
|
box-align: start;
|
|
|
/* Modern browsers */
|
|
|
align-items: flex-start;
|
|
|
}
|
|
|
.widget-area.connection-problems .prompt:after {
|
|
|
content: "\f127";
|
|
|
font-family: 'FontAwesome';
|
|
|
color: #d9534f;
|
|
|
font-size: 14px;
|
|
|
top: 3px;
|
|
|
padding: 3px;
|
|
|
}
|
|
|
/* THE CLASSES BELOW CAN APPEAR ANYWHERE IN THE DOM (POSSIBLEY OUTSIDE OF
|
|
|
THE WIDGET AREA). */
|
|
|
.slide-track {
|
|
|
/* Slider Track */
|
|
|
border: 1px solid #CCCCCC;
|
|
|
background: #FFFFFF;
|
|
|
border-radius: 2px;
|
|
|
/* Round the corners of the slide track */
|
|
|
}
|
|
|
.widget-hslider {
|
|
|
/* Horizontal jQuery Slider
|
|
|
|
|
|
Both the horizontal and vertical versions of the slider are characterized
|
|
|
by a styled div that contains an invisible jQuery slide div which
|
|
|
contains a visible slider handle div. This is requred so we can control
|
|
|
how the slider is drawn and 'fix' the issue where the slide handle
|
|
|
doesn't stop at the end of the slide.
|
|
|
|
|
|
Both horizontal and vertical sliders have this div nesting:
|
|
|
+------------------------------------------+
|
|
|
| widget-(h/v)slider |
|
|
|
| +--------+---------------------------+ |
|
|
|
| | ui-slider | |
|
|
|
| | +------------------+ | |
|
|
|
| | | ui-slider-handle | | |
|
|
|
| | +------------------+ | |
|
|
|
| +--------+---------------------------+ |
|
|
|
+------------------------------------------+
|
|
|
*/
|
|
|
/* Fix the padding of the slide track so the ui-slider is sized
|
|
|
correctly. */
|
|
|
padding-left: 8px;
|
|
|
padding-right: 2px;
|
|
|
overflow: visible;
|
|
|
/* Default size of the slider */
|
|
|
width: 350px;
|
|
|
height: 5px;
|
|
|
max-height: 5px;
|
|
|
margin-top: 13px;
|
|
|
margin-bottom: 10px;
|
|
|
/* Style the slider track */
|
|
|
/* Slider Track */
|
|
|
border: 1px solid #CCCCCC;
|
|
|
background: #FFFFFF;
|
|
|
border-radius: 2px;
|
|
|
/* Round the corners of the slide track */
|
|
|
/* Make the div a flex box (makes FF behave correctly). */
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.widget-hslider .ui-slider {
|
|
|
/* Inner, invisible slide div */
|
|
|
border: 0px;
|
|
|
background: none;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
.widget-hslider .ui-slider .ui-slider-handle {
|
|
|
width: 12px;
|
|
|
height: 28px;
|
|
|
margin-top: -8px;
|
|
|
border-radius: 2px;
|
|
|
}
|
|
|
.widget-hslider .ui-slider .ui-slider-range {
|
|
|
height: 12px;
|
|
|
margin-top: -4px;
|
|
|
background: #eeeeee;
|
|
|
}
|
|
|
.widget-vslider {
|
|
|
/* Vertical jQuery Slider */
|
|
|
/* Fix the padding of the slide track so the ui-slider is sized
|
|
|
correctly. */
|
|
|
padding-bottom: 5px;
|
|
|
overflow: visible;
|
|
|
/* Default size of the slider */
|
|
|
width: 5px;
|
|
|
max-width: 5px;
|
|
|
height: 250px;
|
|
|
margin-left: 12px;
|
|
|
/* Style the slider track */
|
|
|
/* Slider Track */
|
|
|
border: 1px solid #CCCCCC;
|
|
|
background: #FFFFFF;
|
|
|
border-radius: 2px;
|
|
|
/* Round the corners of the slide track */
|
|
|
/* Make the div a flex box (makes FF behave correctly). */
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.widget-vslider .ui-slider {
|
|
|
/* Inner, invisible slide div */
|
|
|
border: 0px;
|
|
|
background: none;
|
|
|
margin-left: -4px;
|
|
|
margin-top: 5px;
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
.widget-vslider .ui-slider .ui-slider-handle {
|
|
|
width: 28px;
|
|
|
height: 12px;
|
|
|
margin-left: -9px;
|
|
|
border-radius: 2px;
|
|
|
}
|
|
|
.widget-vslider .ui-slider .ui-slider-range {
|
|
|
width: 12px;
|
|
|
margin-left: -1px;
|
|
|
background: #eeeeee;
|
|
|
}
|
|
|
.widget-text {
|
|
|
/* String Textbox - used for TextBoxView and TextAreaView */
|
|
|
width: 350px;
|
|
|
margin: 0px;
|
|
|
}
|
|
|
.widget-listbox {
|
|
|
/* Listbox */
|
|
|
width: 350px;
|
|
|
margin-bottom: 0px;
|
|
|
}
|
|
|
.widget-numeric-text {
|
|
|
/* Single Line Textbox - used for IntTextView and FloatTextView */
|
|
|
width: 150px;
|
|
|
margin: 0px;
|
|
|
}
|
|
|
.widget-progress {
|
|
|
/* Progress Bar */
|
|
|
margin-top: 6px;
|
|
|
min-width: 350px;
|
|
|
}
|
|
|
.widget-progress .progress-bar {
|
|
|
/* Disable progress bar animation */
|
|
|
-webkit-transition: none;
|
|
|
-moz-transition: none;
|
|
|
-ms-transition: none;
|
|
|
-o-transition: none;
|
|
|
transition: none;
|
|
|
}
|
|
|
.widget-combo-btn {
|
|
|
/* ComboBox Main Button */
|
|
|
/* Subtract 25px to account for the drop arrow button */
|
|
|
min-width: 125px;
|
|
|
}
|
|
|
.widget_item .dropdown-menu li a {
|
|
|
color: inherit;
|
|
|
}
|
|
|
.widget-hbox {
|
|
|
/* Horizontal widgets */
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: row;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.widget-hbox input[type="checkbox"] {
|
|
|
margin-top: 9px;
|
|
|
margin-bottom: 10px;
|
|
|
}
|
|
|
.widget-hbox .widget-label {
|
|
|
/* Horizontal Label */
|
|
|
min-width: 10ex;
|
|
|
padding-right: 8px;
|
|
|
padding-top: 5px;
|
|
|
text-align: right;
|
|
|
vertical-align: text-top;
|
|
|
}
|
|
|
.widget-hbox .widget-readout {
|
|
|
padding-left: 8px;
|
|
|
padding-top: 5px;
|
|
|
text-align: left;
|
|
|
vertical-align: text-top;
|
|
|
}
|
|
|
.widget-vbox {
|
|
|
/* Vertical widgets */
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
}
|
|
|
.widget-vbox .widget-label {
|
|
|
/* Vertical Label */
|
|
|
padding-bottom: 5px;
|
|
|
text-align: center;
|
|
|
vertical-align: text-bottom;
|
|
|
}
|
|
|
.widget-vbox .widget-readout {
|
|
|
/* Vertical Label */
|
|
|
padding-top: 5px;
|
|
|
text-align: center;
|
|
|
vertical-align: text-top;
|
|
|
}
|
|
|
.widget-box {
|
|
|
/* Box */
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-align: start;
|
|
|
-moz-box-align: start;
|
|
|
box-align: start;
|
|
|
/* Modern browsers */
|
|
|
align-items: flex-start;
|
|
|
}
|
|
|
.widget-radio-box {
|
|
|
/* Contains RadioButtonsWidget */
|
|
|
/* Old browsers */
|
|
|
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;
|
|
|
/* Modern browsers */
|
|
|
display: flex;
|
|
|
flex-direction: column;
|
|
|
align-items: stretch;
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
padding-top: 4px;
|
|
|
}
|
|
|
.widget-radio-box label {
|
|
|
margin-top: 0px;
|
|
|
margin-left: 20px;
|
|
|
}
|
|
|
/*# sourceMappingURL=ipython.min.css.map */
|
