| Index: runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_inset.html
|
| diff --git a/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_inset.html b/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_inset.html
|
| index 24c4bfec858d5b539ca05c31ab713a668b9910ae..52b72e572e1ef913729fd36813b491e3bd77996a 100644
|
| --- a/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_inset.html
|
| +++ b/runtime/bin/vmservice/observatory/deployed/web/packages/observatory/src/elements/script_inset.html
|
| @@ -5,11 +5,8 @@
|
| <template>
|
| <style>
|
| .sourceInset {
|
| - padding-left: 15%;
|
| - padding-right: 15%;
|
| }
|
| .sourceBox {
|
| - width: 100%;
|
| background-color: #f5f5f5;
|
| border: 1px solid #ccc;
|
| padding: 10px;
|
| @@ -44,7 +41,7 @@
|
| </style>
|
| <div class="sourceInset">
|
| <content></content>
|
| - <div class="sourceBox" style="height:{{height}}">
|
| + <div class="sourceBox" style="max-height:{{height}}">
|
| <div class="sourceTable">
|
| <template if="{{ linesReady }}">
|
| <template repeat="{{ line in lines }}">
|
|
|