EagerEvaluation.css (2507B)
1 /* This Source Code Form is subject to the terms of the Mozilla Public 2 * License, v. 2.0. If a copy of the MPL was not distributed with this 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ 4 5 .eager-evaluation-result { 6 flex: none; 7 font-family: var(--monospace-font-family); 8 font-size: var(--theme-code-font-size); 9 line-height: var(--console-output-line-height); 10 } 11 12 .eager-evaluation-result__row { 13 direction: ltr; 14 display: flex; 15 align-items: center; 16 overflow-y: hidden; 17 height: var(--console-row-height); 18 padding: 0 2px; 19 } 20 21 .eager-evaluation-result__icon { 22 flex: none; 23 width: 14px; 24 height: 14px; 25 margin: 0 8px; 26 background: url(chrome://devtools/skin/images/webconsole/return.svg) no-repeat center; 27 background-size: 12px; 28 -moz-context-properties: fill; 29 fill: var(--theme-icon-dimmed-color); 30 } 31 32 .eager-evaluation-result__text { 33 /* Override Reps variables to turn eager eval output gray */ 34 filter: saturate(0%); 35 36 flex: 1 1 auto; 37 height: 14px; 38 overflow: hidden; 39 /* Use pre rather than nowrap because we want to preserve consecutive spaces, 40 * e.g. if we display "some string" we should not collapse spaces. */ 41 white-space: pre; 42 } 43 44 /* Style the reps result */ 45 .eager-evaluation-result__text > * { 46 display: block; 47 overflow: hidden; 48 text-overflow: ellipsis; 49 } 50 51 .eager-evaluation-result__text * { 52 /* Some Reps elements define white-space:pre-wrap, which lets the text break 53 * to a new line */ 54 white-space: inherit !important; 55 } 56 57 .eager-evaluation-result__text .objectBox-function .param { 58 color: var(--null-color); 59 } 60 61 /* 62 * Inline mode specifics 63 */ 64 .webconsole-app:not(.jsterm-editor) .eager-evaluation-result { 65 /* It should fill the remaining height in the output+input area */ 66 flex-grow: 1; 67 background-color: var(--console-input-background); 68 /* Reserve a bit of whitespace after the content. */ 69 min-height: calc(var(--console-row-height) + var(--console-input-extra-padding)); 70 } 71 72 /* 73 * Editor mode specifics 74 */ 75 .webconsole-app.jsterm-editor .eager-evaluation-result { 76 border-top: 1px solid var(--theme-splitter-color); 77 border-inline-end: 1px solid var(--theme-splitter-color); 78 /* Make text smaller when displayed in the sidebar */ 79 font-size: 10px; 80 line-height: 14px; 81 background-color: var(--theme-sidebar-background); 82 } 83 84 .webconsole-app.jsterm-editor .eager-evaluation-result:empty { 85 display: none; 86 } 87 88 .webconsole-app.jsterm-editor .eager-evaluation-result__row { 89 height: var(--theme-toolbar-height); 90 }