| Index: runtime/observatory/lib/src/elements/debugger.html
|
| diff --git a/runtime/observatory/lib/src/elements/debugger.html b/runtime/observatory/lib/src/elements/debugger.html
|
| index 997ff7739c378adb018069c904f0c449ce64af82..9beb7fe75a191771af6a2f5b8ea58ee5040d921d 100644
|
| --- a/runtime/observatory/lib/src/elements/debugger.html
|
| +++ b/runtime/observatory/lib/src/elements/debugger.html
|
| @@ -233,10 +233,12 @@
|
| }
|
| .normal {
|
| font: normal 14px consolas, courier, monospace;
|
| + white-space: pre;
|
| line-height: 125%;
|
| }
|
| .bold {
|
| font: bold 14px consolas, courier, monospace;
|
| + white-space: pre;
|
| line-height: 125%;
|
| }
|
| .spacer {
|
|
|