Skip to content

Commit e5e35a5

Browse files
authored
Fix gutter styling with dark themes (#14)
1 parent 4b9adbf commit e5e35a5

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

style/base.css

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,3 +24,12 @@
2424
max-height: 400px;
2525
overflow: auto;
2626
}
27+
28+
.jp-DiffView .cm-activeLineGutter {
29+
background-color: var(--jp-layout-color3);
30+
color: var(--jp-ui-font-color1);
31+
}
32+
33+
.jp-DiffView .cm-lineNumbers .cm-gutterElement {
34+
color: var(--jp-ui-font-color2);
35+
}

0 commit comments

Comments
 (0)