Skip to content

Commit 57c8e61

Browse files
committed
Fix lint check
1 parent 772581f commit 57c8e61

File tree

2 files changed

+17
-14
lines changed

2 files changed

+17
-14
lines changed

src/controls.ts

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -32,11 +32,14 @@ export class URDFControls extends GUI {
3232
this.domElement.setAttribute('class', 'dg main urdf-gui');
3333

3434
this._workspaceFolder = this.addFolder('Workspace');
35-
this._workspaceFolder.domElement.setAttribute('class', 'dg workspace-folder');
36-
35+
this._workspaceFolder.domElement.setAttribute(
36+
'class',
37+
'dg workspace-folder'
38+
);
39+
3740
this._sceneFolder = this.addFolder('Scene');
3841
this._sceneFolder.domElement.setAttribute('class', 'dg scene-folder');
39-
42+
4043
this._jointsFolder = this.addFolder('Joints');
4144
this._jointsFolder.domElement.setAttribute('class', 'dg joints-folder');
4245
}

style/base.css

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -14,10 +14,9 @@
1414
);
1515
--gui-color-font: var(--jp-ui-font-color1);
1616
--gui-color-accent: var(--jp-brand-color0);
17-
--gui-transparent: rgba(0, 0, 0, 0);
1817
}
1918

20-
.jp-urdf-canvas .lm-Widget canvas {
19+
.jp-urdf-canvas canvas {
2120
width: 100%;
2221
height: 100%;
2322
}
@@ -31,17 +30,13 @@
3130
}
3231

3332
.urdf-gui li.folder {
34-
/* border: 0.4em solid var(--gui-transparent) !important; */
3533
border-left: 0.4em solid black !important;
3634
border-right: 0.4em solid black;
3735
}
3836

3937
.urdf-gui li.title {
40-
margin: 0 0 0.5em 0 !important;
41-
}
42-
43-
.urdf-gui .cr.function:hover {
44-
background: var(--gui-transparent) !important;
38+
margin: 0 !important;
39+
margin-bottom: 0.5em;
4540
}
4641

4742
.urdf-gui .cr.function .property-name {
@@ -68,7 +63,11 @@
6863
color: var(--gui-color-font);
6964
border: none !important;
7065
text-shadow: none;
71-
padding: 0.2em 0.4em 0.2em 0.4em;
66+
padding: 0.2em 0.4em;
67+
}
68+
69+
.urdf-gui .cr.function:hover {
70+
background: var(--gui-color-background) !important;
7271
}
7372

7473
.urdf-gui .cr.string input[type='text'],
@@ -100,7 +99,8 @@
10099
}
101100

102101
.urdf-gui .c .slider {
103-
margin: 0.5em 0 0 0;
102+
margin: 0;
103+
margin-top: 0.5em;
104104
height: 1em;
105105
background: var(--gui-color-background) !important;
106106
border: 1px solid var(--gui-color-title-bg);
@@ -117,7 +117,7 @@
117117
border: 1px solid var(--gui-color-font);
118118
border-radius: 3px;
119119
margin: -1px;
120-
opacity: 50%;
120+
opacity: 0.5;
121121
}
122122

123123
.urdf-gui .joints-folder {

0 commit comments

Comments
 (0)