style(themes): Modify the gutter border-right style.

Author: jaywcjlove

themes/bbedit/src/index.ts

@@ -14,6 +14,7 @@ export const bbeditInit = (options?: CreateThemeOptions) => {
       gutterBackground: '#f5f5f5',
       gutterForeground: '#4D4D4C',
       lineHighlight: '#00000012',
+      gutterBorder: 'transparent',
       ...settings,
     },
     styles: [

themes/duotone/src/index.ts

@@ -19,6 +19,7 @@ export const duotoneLightInit = (options?: CreateThemeOptions) => {
       gutterBackground: '#faf8f5',
       gutterForeground: '#cdc4b1',
       lineHighlight: '#EFEFEF',
+      gutterBorder: 'transparent',
       ...settings,
     },
     styles: [

themes/eclipse/src/index.ts

@@ -14,6 +14,7 @@ export const eclipseInit = (options?: CreateThemeOptions) => {
       gutterBackground: '#f7f7f7',
       gutterForeground: '#999',
       lineHighlight: '#e8f2ff',
+      gutterBorder: 'transparent',
       ...settings,
     },
     styles: [