Colors that work a little better in dark mode
Change-Id: I7cacbce8f4c8ea365a2f4ef3b9e7af2de1c06350
Reviewed-on: https://dart-review.googlesource.com/61840
Reviewed-by: Vijay Menon <vsm@google.com>
Commit-Queue: Alan Knight <alanknight@google.com>
diff --git a/pkg/dev_compiler/tool/input_sdk/private/debugger.dart b/pkg/dev_compiler/tool/input_sdk/private/debugger.dart
index 9fa9679..492291a 100644
--- a/pkg/dev_compiler/tool/input_sdk/private/debugger.dart
+++ b/pkg/dev_compiler/tool/input_sdk/private/debugger.dart
@@ -379,7 +379,7 @@
// This is stylistically a bit ugly but it eases distinguishing Dart and
// JS objects.
var element = JsonMLElement('span')
- ..setStyle('background-color: #d9edf7;')
+ ..setStyle('background-color: #d9edf7;color: black')
..createTextChild(c);
return element.toJsonML();
}
@@ -394,7 +394,7 @@
'margin-bottom: 0px;'
'margin-left: 12px;');
if (object is StackTrace) {
- body.addStyle('color: rgb(196, 26, 22);');
+ body.addStyle('background-color: thistle;color: rgb(196, 26, 22);');
}
var children = _simpleFormatter.children(object, config);
if (children == null) return body.toJsonML();
@@ -411,7 +411,8 @@
nameSpan = JsonMLElement('span')
..createTextChild(
child.displayName.isNotEmpty ? '${child.displayName}: ' : '')
- ..setStyle('color: rgb(136, 19, 145); margin-right: -13px');
+ ..setStyle(
+ 'background-color: thistle; color: rgb(136, 19, 145); margin-right: -13px');
valueStyle = 'margin-left: 13px';
}