1+ .pr-JupyterDashboard {
2+ overflow : auto;
3+ }
4+
5+ .pr-DashboardWidget {
6+ display : inline-flex;
7+ align-items : center;
8+ justify-content : center;
9+ }
10+
11+ .pr-DashboardWidget .pr-MarkdownOutput {
12+ display : inline-block;
13+ }
14+
15+ .pr-EditableWidget {
16+ border : var (--jp-border-width ) solid var (--jp-inverse-layout-color4 );
17+ background : var (--jp-layout-color0 );
18+ }
19+
20+ .pr-EditableWidget > .pr-DashboardWidgetChild {
21+ pointer-events : none;
22+ }
23+
24+ .pr-EditableWidget : focus {
25+ border : var (--jp-border-width ) solid var (--jp-brand-color1 );
26+ }
27+
28+ .pr-EditableWidget : focus : after {
29+ content : '' ;
30+ position : absolute;
31+ width : 100% ;
32+ height : 100% ;
33+ z-index : 2 ;
34+ background : rgba (0 , 0 , 0 , .10 );
35+ }
36+
37+ .pr-EditableWidget : hover {
38+ border : var (--jp-border-width ) solid var (--jp-brand-color1 );
39+ cursor : move;
40+ }
41+
42+ .pr-EditableWidget : hover : after {
43+ content : '' ;
44+ position : absolute;
45+ width : 100% ;
46+ height : 100% ;
47+ z-index : 2 ;
48+ background : rgba (0 , 0 , 0 , .10 );
49+ }
50+
51+ .pr-DashboardArea {
52+ overflow : auto;
53+ }
54+
55+ .pr-Resizer {
56+ display : none;
57+ width : 15px ;
58+ height : 15px ;
59+ right : 0 ;
60+ bottom : 0 ;
61+ z-index : 3 ;
62+ cursor : nwse-resize;
63+ position : absolute;
64+ }
65+
66+ .pr-DashboardWidgetChild {
67+ display : inline-block;
68+ }
69+
70+ .pr-EditableWidget : hover .pr-Resizer {
71+ display : block;
72+ }
73+
74+
75+ .pr-Canvas {
76+ pointer-events : none;
77+ }
78+
79+ .pr-Canvas .pr-FreeLayout {
80+ background-image : linear-gradient (45deg , rgba (160 , 160 , 160 , .15 ) 25% , transparent 25% ), linear-gradient (-45deg , rgba (160 , 160 , 160 , .15 ) 25% , transparent 25% ), linear-gradient (45deg , transparent 75% , rgba (160 , 160 , 160 , .15 ) 75% ), linear-gradient (-45deg , transparent 75% , rgba (160 , 160 , 160 , .15 ) 70% );
81+ background-size : 20px 20px ;
82+ background-position : 0 0 , 0 10px , 10px -10px , -10px 0px ;
83+ }
84+
85+ .pr-Canvas .pr-TiledLayout {
86+ background-image : linear-gradient (45deg , rgba (160 , 160 , 160 , .15 ) 25% , transparent 25% ), linear-gradient (-45deg , rgba (160 , 160 , 160 , .15 ) 25% , transparent 25% ), linear-gradient (45deg , transparent 75% , rgba (160 , 160 , 160 , .15 ) 75% ), linear-gradient (-45deg , transparent 75% , rgba (160 , 160 , 160 , .15 ) 70% );
87+ background-size : 64px 64px ;
88+ background-position : 0 0 , 0 32px , 32px -32px , -32px 0px ;
89+ }
90+
91+ .pr-OnboardingGif {
92+ position : absolute;
93+ visibility : hidden;
94+ object-fit : contain;
95+ left : 0 ;
96+ top : 0 ;
97+ }
98+
99+ .pr-DashboardToolbar {
100+ padding : 2px ;
101+ }
102+
103+ .jp-Toolbar-item .pr-ToolbarModeSwitcher .jp-select-wrapper .jp-mod-focused {
104+ border : none;
105+ box-shadow : none;
106+ }
107+
108+ select .pr-ToolbarSelector .jp-mod-styled {
109+ height : 24px ;
110+ font-size : var (--jp-ui-font-size1 );
111+ line-height : 14px ;
112+ border-radius : 0 ;
113+ display : block;
114+ box-shadow : none;
115+ border : none;
116+ }
117+
118+ .pr-ToolbarSelector .jp-mod-styled select {
119+ height : 24px ;
120+ font-size : var (--jp-ui-font-size1 );
121+ line-height : 14px ;
122+ border-radius : 0 ;
123+ display : block;
124+ box-shadow : none;
125+ border : none;
126+ }
127+
128+ .pr-DragImage {
129+ box-shadow : var (--jp-elevation-z1 );
130+ border : var (--jp-border-width ) solid var (--jp-brand-color1 );
131+ }
0 commit comments