|
|
/*!
|
|
|
*
|
|
|
* IPython base
|
|
|
*
|
|
|
*/
|
|
|
.modal.fade .modal-dialog {
|
|
|
-webkit-transform: translate(0, 0);
|
|
|
-ms-transform: translate(0, 0);
|
|
|
transform: translate(0, 0);
|
|
|
}
|
|
|
code {
|
|
|
color: #000000;
|
|
|
}
|
|
|
pre {
|
|
|
font-size: inherit;
|
|
|
line-height: inherit;
|
|
|
}
|
|
|
label {
|
|
|
font-weight: normal;
|
|
|
}
|
|
|
.border-box-sizing {
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
}
|
|
|
.corner-all {
|
|
|
border-radius: 4px;
|
|
|
}
|
|
|
.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: brown;
|
|
|
}
|
|
|
.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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
border-radius: 4px;
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
border-width: thin;
|
|
|
border-style: solid;
|
|
|
width: 100%;
|
|
|
padding: 5px 5px 5px 0px;
|
|
|
/* This acts as a spacer between cells, that is outside the border */
|
|
|
margin: 0px;
|
|
|
outline: none;
|
|
|
}
|
|
|
div.cell.selected {
|
|
|
border-color: #ababab;
|
|
|
}
|
|
|
div.cell.edit_mode {
|
|
|
border-color: green;
|
|
|
}
|
|
|
div.prompt {
|
|
|
/* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
|
|
|
min-width: 15ex;
|
|
|
/* 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: 480px) {
|
|
|
div.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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 1;
|
|
|
-moz-box-flex: 1;
|
|
|
box-flex: 1;
|
|
|
/* Modern browsers */
|
|
|
flex: 1;
|
|
|
}
|
|
|
/* input_area and input_prompt must match in top border and margin for alignment */
|
|
|
div.input_area {
|
|
|
border: 1px solid #cfcfcf;
|
|
|
border-radius: 4px;
|
|
|
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;
|
|
|
}
|
|
|
/* 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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
@media (max-width: 480px) {
|
|
|
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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
}
|
|
|
/* input_area and input_prompt must match in top border and margin for alignment */
|
|
|
div.input_prompt {
|
|
|
color: #000080;
|
|
|
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 */
|
|
|
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: 4px;
|
|
|
border-top-left-radius: 4px;
|
|
|
}
|
|
|
.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;
|
|
|
}
|
|
|
.CodeMirror-vscrollbar,
|
|
|
.CodeMirror-hscrollbar {
|
|
|
display: none !important;
|
|
|
}
|
|
|
/*
|
|
|
|
|
|
Original style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiacs.Org>
|
|
|
Adapted from GitHub theme
|
|
|
|
|
|
*/
|
|
|
pre code {
|
|
|
display: block;
|
|
|
padding: 0.5em;
|
|
|
}
|
|
|
.highlight-base,
|
|
|
pre code,
|
|
|
pre .subst,
|
|
|
pre .tag .title,
|
|
|
pre .lisp .title,
|
|
|
pre .clojure .built_in,
|
|
|
pre .nginx .title {
|
|
|
color: black;
|
|
|
}
|
|
|
.highlight-string,
|
|
|
pre .string,
|
|
|
pre .constant,
|
|
|
pre .parent,
|
|
|
pre .tag .value,
|
|
|
pre .rules .value,
|
|
|
pre .rules .value .number,
|
|
|
pre .preprocessor,
|
|
|
pre .ruby .symbol,
|
|
|
pre .ruby .symbol .string,
|
|
|
pre .aggregate,
|
|
|
pre .template_tag,
|
|
|
pre .django .variable,
|
|
|
pre .smalltalk .class,
|
|
|
pre .addition,
|
|
|
pre .flow,
|
|
|
pre .stream,
|
|
|
pre .bash .variable,
|
|
|
pre .apache .tag,
|
|
|
pre .apache .cbracket,
|
|
|
pre .tex .command,
|
|
|
pre .tex .special,
|
|
|
pre .erlang_repl .function_or_atom,
|
|
|
pre .markdown .header {
|
|
|
color: #BA2121;
|
|
|
}
|
|
|
.highlight-comment,
|
|
|
pre .comment,
|
|
|
pre .annotation,
|
|
|
pre .template_comment,
|
|
|
pre .diff .header,
|
|
|
pre .chunk,
|
|
|
pre .markdown .blockquote {
|
|
|
color: #408080;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.highlight-number,
|
|
|
pre .number,
|
|
|
pre .date,
|
|
|
pre .regexp,
|
|
|
pre .literal,
|
|
|
pre .smalltalk .symbol,
|
|
|
pre .smalltalk .char,
|
|
|
pre .go .constant,
|
|
|
pre .change,
|
|
|
pre .markdown .bullet,
|
|
|
pre .markdown .link_url {
|
|
|
color: #080;
|
|
|
}
|
|
|
pre .label,
|
|
|
pre .javadoc,
|
|
|
pre .ruby .string,
|
|
|
pre .decorator,
|
|
|
pre .filter .argument,
|
|
|
pre .localvars,
|
|
|
pre .array,
|
|
|
pre .attr_selector,
|
|
|
pre .important,
|
|
|
pre .pseudo,
|
|
|
pre .pi,
|
|
|
pre .doctype,
|
|
|
pre .deletion,
|
|
|
pre .envvar,
|
|
|
pre .shebang,
|
|
|
pre .apache .sqbracket,
|
|
|
pre .nginx .built_in,
|
|
|
pre .tex .formula,
|
|
|
pre .erlang_repl .reserved,
|
|
|
pre .prompt,
|
|
|
pre .markdown .link_label,
|
|
|
pre .vhdl .attribute,
|
|
|
pre .clojure .attribute,
|
|
|
pre .coffeescript .property {
|
|
|
color: #8888ff;
|
|
|
}
|
|
|
.highlight-keyword,
|
|
|
pre .keyword,
|
|
|
pre .id,
|
|
|
pre .phpdoc,
|
|
|
pre .aggregate,
|
|
|
pre .css .tag,
|
|
|
pre .javadoctag,
|
|
|
pre .phpdoc,
|
|
|
pre .yardoctag,
|
|
|
pre .smalltalk .class,
|
|
|
pre .winutils,
|
|
|
pre .bash .variable,
|
|
|
pre .apache .tag,
|
|
|
pre .go .typename,
|
|
|
pre .tex .command,
|
|
|
pre .markdown .strong,
|
|
|
pre .request,
|
|
|
pre .status {
|
|
|
color: #008000;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.highlight-builtin,
|
|
|
pre .built_in {
|
|
|
color: #008000;
|
|
|
}
|
|
|
pre .markdown .emphasis {
|
|
|
font-style: italic;
|
|
|
}
|
|
|
pre .nginx .built_in {
|
|
|
font-weight: normal;
|
|
|
}
|
|
|
pre .coffeescript .javascript,
|
|
|
pre .javascript .xml,
|
|
|
pre .tex .formula,
|
|
|
pre .xml .javascript,
|
|
|
pre .xml .vbscript,
|
|
|
pre .xml .css,
|
|
|
pre .xml .cdata {
|
|
|
opacity: 0.5;
|
|
|
}
|
|
|
/* apply the same style to codemirror */
|
|
|
.cm-s-ipython span.cm-variable {
|
|
|
color: black;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-keyword {
|
|
|
color: #008000;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-number {
|
|
|
color: #080;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-comment {
|
|
|
color: #408080;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-string {
|
|
|
color: #BA2121;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-builtin {
|
|
|
color: #008000;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-error {
|
|
|
color: #f00;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-operator {
|
|
|
color: #AA22FF;
|
|
|
font-weight: bold;
|
|
|
}
|
|
|
.cm-s-ipython span.cm-meta {
|
|
|
color: #AA22FF;
|
|
|
}
|
|
|
.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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
/* 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: 4px;
|
|
|
-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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
div.out_prompt_overlay {
|
|
|
height: 100%;
|
|
|
padding: 0px 0.4em;
|
|
|
position: absolute;
|
|
|
border-radius: 4px;
|
|
|
}
|
|
|
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: #8b0000;
|
|
|
}
|
|
|
/* 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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
@media (max-width: 480px) {
|
|
|
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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
}
|
|
|
div.output_area pre {
|
|
|
margin: 0;
|
|
|
padding: 0;
|
|
|
border: 0;
|
|
|
vertical-align: baseline;
|
|
|
color: #000000;
|
|
|
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 0.4em 0em 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;
|
|
|
}
|
|
|
.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: #000000;
|
|
|
background-color: #000000;
|
|
|
}
|
|
|
.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 #000000;
|
|
|
border-collapse: collapse;
|
|
|
}
|
|
|
.rendered_html tr,
|
|
|
.rendered_html th,
|
|
|
.rendered_html td {
|
|
|
border: 1px solid #000000;
|
|
|
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: justify;
|
|
|
}
|
|
|
.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 {
|
|
|
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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
@media (max-width: 480px) {
|
|
|
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;
|
|
|
}
|
|
|
div.cell.text_cell.rendered {
|
|
|
padding: 0px;
|
|
|
}
|
|
|
.cm-s-heading-1,
|
|
|
.cm-s-heading-2,
|
|
|
.cm-s-heading-3,
|
|
|
.cm-s-heading-4,
|
|
|
.cm-s-heading-5,
|
|
|
.cm-s-heading-6 {
|
|
|
font-weight: bold;
|
|
|
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
|
|
|
}
|
|
|
.cm-s-heading-1 {
|
|
|
font-size: 150%;
|
|
|
}
|
|
|
.cm-s-heading-2 {
|
|
|
font-size: 130%;
|
|
|
}
|
|
|
.cm-s-heading-3 {
|
|
|
font-size: 120%;
|
|
|
}
|
|
|
.cm-s-heading-4 {
|
|
|
font-size: 110%;
|
|
|
}
|
|
|
.cm-s-heading-5 {
|
|
|
font-size: 100%;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.cm-s-heading-6 {
|
|
|
font-size: 90%;
|
|
|
font-style: italic;
|
|
|
}
|
|
|
.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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
/* 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;
|
|
|
}
|
|
|
/* THE CLASSES BELOW CAN APPEAR ANYWHERE IN THE DOM (POSSIBLEY OUTSIDE OF
|
|
|
THE WIDGET AREA). */
|
|
|
.widget-hlabel {
|
|
|
/* Horizontal Label */
|
|
|
min-width: 10ex;
|
|
|
padding-right: 8px;
|
|
|
padding-top: 5px;
|
|
|
text-align: right;
|
|
|
vertical-align: text-top;
|
|
|
}
|
|
|
.widget-vlabel {
|
|
|
/* Vertical Label */
|
|
|
padding-bottom: 5px;
|
|
|
text-align: center;
|
|
|
vertical-align: text-bottom;
|
|
|
}
|
|
|
.widget-hreadout {
|
|
|
padding-left: 8px;
|
|
|
padding-top: 5px;
|
|
|
text-align: left;
|
|
|
vertical-align: text-top;
|
|
|
}
|
|
|
.widget-vreadout {
|
|
|
/* Vertical Label */
|
|
|
padding-top: 5px;
|
|
|
text-align: center;
|
|
|
vertical-align: text-top;
|
|
|
}
|
|
|
.slide-track {
|
|
|
/* Slider Track */
|
|
|
border: 1px solid #CCCCCC;
|
|
|
background: #FFFFFF;
|
|
|
border-radius: 4px;
|
|
|
/* 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: 5px;
|
|
|
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: 4px;
|
|
|
/* 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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.widget-hslider .ui-slider {
|
|
|
/* Inner, invisible slide div */
|
|
|
border: 0px !important;
|
|
|
background: none !important;
|
|
|
/* 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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
/* 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: 14px !important;
|
|
|
height: 28px !important;
|
|
|
margin-top: -8px !important;
|
|
|
}
|
|
|
.widget-hslider .ui-slider .ui-slider-range {
|
|
|
height: 12px !important;
|
|
|
margin-top: -4px !important;
|
|
|
}
|
|
|
.widget-vslider {
|
|
|
/* Vertical jQuery Slider */
|
|
|
/* Fix the padding of the slide track so the ui-slider is sized
|
|
|
correctly. */
|
|
|
padding-bottom: 8px;
|
|
|
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: 4px;
|
|
|
/* 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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.widget-vslider .ui-slider {
|
|
|
/* Inner, invisible slide div */
|
|
|
border: 0px !important;
|
|
|
background: none !important;
|
|
|
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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
/* 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 !important;
|
|
|
height: 14px !important;
|
|
|
margin-left: -9px;
|
|
|
}
|
|
|
.widget-vslider .ui-slider .ui-slider-range {
|
|
|
width: 12px !important;
|
|
|
margin-left: -1px !important;
|
|
|
}
|
|
|
.widget-text {
|
|
|
/* String Textbox - used for TextBoxView and TextAreaView */
|
|
|
width: 350px;
|
|
|
margin: 0px !important;
|
|
|
}
|
|
|
.widget-listbox {
|
|
|
/* Listbox */
|
|
|
width: 350px;
|
|
|
margin-bottom: 0px;
|
|
|
}
|
|
|
.widget-numeric-text {
|
|
|
/* Single Line Textbox - used for IntTextView and FloatTextView */
|
|
|
width: 150px;
|
|
|
margin: 0px !important;
|
|
|
}
|
|
|
.widget-progress {
|
|
|
/* Progress Bar */
|
|
|
margin-top: 6px;
|
|
|
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 */
|
|
|
min-width: 125px;
|
|
|
}
|
|
|
.widget-box {
|
|
|
/* The following section sets the style for the invisible div that
|
|
|
hold widgets and their accompanying labels.
|
|
|
|
|
|
Looks like this:
|
|
|
+-----------------------------+
|
|
|
| widget-box (or similar) |
|
|
|
| +-------+---------------+ |
|
|
|
| | Label | Actual Widget | |
|
|
|
| +-------+---------------+ |
|
|
|
+-----------------------------+
|
|
|
*/
|
|
|
margin: 5px;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: start;
|
|
|
-moz-box-pack: start;
|
|
|
box-pack: start;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-start;
|
|
|
/* 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-hbox {
|
|
|
/* Horizontal widgets */
|
|
|
/* The following section sets the style for the invisible div that
|
|
|
hold widgets and their accompanying labels.
|
|
|
|
|
|
Looks like this:
|
|
|
+-----------------------------+
|
|
|
| widget-box (or similar) |
|
|
|
| +-------+---------------+ |
|
|
|
| | Label | Actual Widget | |
|
|
|
| +-------+---------------+ |
|
|
|
+-----------------------------+
|
|
|
*/
|
|
|
margin: 5px;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: start;
|
|
|
-moz-box-pack: start;
|
|
|
box-pack: start;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-start;
|
|
|
/* Box */
|
|
|
/* Old browsers */
|
|
|
/* Modern browsers */
|
|
|
/* 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;
|
|
|
/* 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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.widget-hbox-single {
|
|
|
/* Single line horizontal widgets */
|
|
|
/* Horizontal widgets */
|
|
|
/* The following section sets the style for the invisible div that
|
|
|
hold widgets and their accompanying labels.
|
|
|
|
|
|
Looks like this:
|
|
|
+-----------------------------+
|
|
|
| widget-box (or similar) |
|
|
|
| +-------+---------------+ |
|
|
|
| | Label | Actual Widget | |
|
|
|
| +-------+---------------+ |
|
|
|
+-----------------------------+
|
|
|
*/
|
|
|
margin: 5px;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: start;
|
|
|
-moz-box-pack: start;
|
|
|
box-pack: start;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-start;
|
|
|
/* Box */
|
|
|
/* Old browsers */
|
|
|
/* Modern browsers */
|
|
|
/* 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;
|
|
|
/* 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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
height: 30px;
|
|
|
}
|
|
|
.widget-hbox-single input[type="checkbox"] {
|
|
|
margin-top: 9px;
|
|
|
}
|
|
|
.widget-vbox {
|
|
|
/* Vertical widgets */
|
|
|
/* The following section sets the style for the invisible div that
|
|
|
hold widgets and their accompanying labels.
|
|
|
|
|
|
Looks like this:
|
|
|
+-----------------------------+
|
|
|
| widget-box (or similar) |
|
|
|
| +-------+---------------+ |
|
|
|
| | Label | Actual Widget | |
|
|
|
| +-------+---------------+ |
|
|
|
+-----------------------------+
|
|
|
*/
|
|
|
margin: 5px;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: start;
|
|
|
-moz-box-pack: start;
|
|
|
box-pack: start;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-start;
|
|
|
/* Box */
|
|
|
/* Old browsers */
|
|
|
/* Modern browsers */
|
|
|
/* 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;
|
|
|
/* 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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
}
|
|
|
.widget-vbox-single {
|
|
|
/* For vertical slides */
|
|
|
/* Vertical widgets */
|
|
|
/* The following section sets the style for the invisible div that
|
|
|
hold widgets and their accompanying labels.
|
|
|
|
|
|
Looks like this:
|
|
|
+-----------------------------+
|
|
|
| widget-box (or similar) |
|
|
|
| +-------+---------------+ |
|
|
|
| | Label | Actual Widget | |
|
|
|
| +-------+---------------+ |
|
|
|
+-----------------------------+
|
|
|
*/
|
|
|
margin: 5px;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-pack: start;
|
|
|
-moz-box-pack: start;
|
|
|
box-pack: start;
|
|
|
/* Modern browsers */
|
|
|
justify-content: flex-start;
|
|
|
/* Box */
|
|
|
/* Old browsers */
|
|
|
/* Modern browsers */
|
|
|
/* 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;
|
|
|
/* 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: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
width: 30px;
|
|
|
}
|
|
|
.widget-modal {
|
|
|
/* Box - ModalView */
|
|
|
overflow: hidden;
|
|
|
position: absolute !important;
|
|
|
top: 0px;
|
|
|
left: 0px;
|
|
|
margin-left: 0px !important;
|
|
|
}
|
|
|
.widget-modal-body {
|
|
|
/* Box - ModalView Body */
|
|
|
max-height: none !important;
|
|
|
}
|
|
|
.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;
|
|
|
/* Old browsers */
|
|
|
-webkit-box-flex: 0;
|
|
|
-moz-box-flex: 0;
|
|
|
box-flex: 0;
|
|
|
/* Modern browsers */
|
|
|
flex: none;
|
|
|
box-sizing: border-box;
|
|
|
-moz-box-sizing: border-box;
|
|
|
-webkit-box-sizing: border-box;
|
|
|
padding-top: 4px;
|
|
|
}
|
|
|
.widget-radio-box label {
|
|
|
margin-top: 0px;
|
|
|
}
|
|
|
.docked-widget-modal {
|
|
|
/* Horizontal Label */
|
|
|
overflow: hidden;
|
|
|
position: relative !important;
|
|
|
top: 0px !important;
|
|
|
left: 0px !important;
|
|
|
margin-left: 0px !important;
|
|
|
}
|
|
|
/*# sourceMappingURL=../style/ipython.min.css.map */
|
