| Index: runtime/observatory/lib/src/elements/css/shared.css
|
| diff --git a/runtime/observatory/lib/src/elements/css/shared.css b/runtime/observatory/lib/src/elements/css/shared.css
|
| index 8c5d8cd88312aedfa34f92a2aa63c9b9a370c1d7..34557d938f2eddcd9d76b7b13a44c514b5a87af3 100644
|
| --- a/runtime/observatory/lib/src/elements/css/shared.css
|
| +++ b/runtime/observatory/lib/src/elements/css/shared.css
|
| @@ -1258,6 +1258,12 @@ object-pool-ref > a[href] * {
|
| color: inherit;
|
| }
|
|
|
| +/* object-pool-view */
|
| +
|
| +object-pool-view .hexadecimal {
|
| + font-family: monospace;
|
| +}
|
| +
|
| /* observatory-application */
|
|
|
| observatory-application {
|
|
|