Refine editor styles

- Update active line backgrounds and line numbers - Add a higher contrast border between the dock and panes
2022-10-27 14:59:50 -04:00
parent eaebec88c0
commit 92886236a2
2 changed files with 7 additions and 7 deletions
@@ -219,7 +219,7 @@ export default function workspace(colorScheme: ColorScheme) {
      initialSizeBottom: 480,
      wash_color: withOpacity(background(colorScheme.highest), 0.5),
      panel: {
-        border: border(colorScheme.highest),
+        border: border(colorScheme.middle),
      },
      maximized: {
        margin: 32,