1 | /*-----------------------------------------------------------------------------
|
2 | | Copyright (c) 2014-2016, Jupyter Development Team.
|
3 | |
|
4 | | Distributed under the terms of the Modified BSD License.
|
5 | |----------------------------------------------------------------------------*/
|
6 |
|
7 | .jp-MainAreaWidget > :focus {
|
8 | outline: none;
|
9 | }
|
10 |
|
11 | .jp-MainAreaWidget .jp-MainAreaWidget-error {
|
12 | padding: 6px;
|
13 | }
|
14 |
|
15 | .jp-MainAreaWidget .jp-MainAreaWidget-error > pre {
|
16 | width: auto;
|
17 | padding: 10px;
|
18 | background: var(--jp-error-color3);
|
19 | border: var(--jp-border-width) solid var(--jp-error-color1);
|
20 | border-radius: var(--jp-border-radius);
|
21 | color: var(--jp-ui-font-color1);
|
22 | font-size: var(--jp-ui-font-size1);
|
23 | white-space: pre-wrap;
|
24 | word-wrap: break-word;
|
25 | }
|