Skip to content

Commit a06be82

Browse files
authored
Merge pull request #105 from cameron-toy/stylefix
fixed style import
2 parents 4833d1d + 2773fbe commit a06be82

File tree

3 files changed

+134
-131
lines changed

3 files changed

+134
-131
lines changed

.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -113,3 +113,6 @@ dmypy.json
113113
.DS_Store
114114
.eslintcache
115115
.vscode
116+
117+
# Local testing
118+
__test/

style/base.css

Lines changed: 131 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,131 @@
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+
}

style/index.css

Lines changed: 0 additions & 131 deletions
This file was deleted.

0 commit comments

Comments
 (0)