Add DarkGray to the ColorTheme. (#12420)

2026-04-23 19:44:30 -07:00 · 2025-11-01 16:50:51 -07:00
parent e3262f8766
commit d7243fb81f
20 changed files with 147 additions and 4 deletions
@@ -5,6 +5,7 @@
 */

 import { type ColorsTheme, Theme, lightTheme } from './theme.js';
+import { interpolateColor } from './color-utils.js';

 const googleCodeColors: ColorsTheme = {
  type: 'light',
@@ -21,6 +22,7 @@ const googleCodeColors: ColorsTheme = {
  DiffRemoved: '#FEDEDE',
  Comment: '#5f6368',
  Gray: lightTheme.Gray,
+  DarkGray: interpolateColor(lightTheme.Gray, '#ffffff', 0.5),
  GradientColors: ['#066', '#606'],
 };