xref: /aosp_15_r20/external/perfetto/ui/src/assets/common.scss (revision 6dbdd20afdafa5e3ca9b8809fa73465d530080dc)
1*6dbdd20aSAndroid Build Coastguard Worker// Copyright (C) 2018 The Android Open Source Project
2*6dbdd20aSAndroid Build Coastguard Worker//
3*6dbdd20aSAndroid Build Coastguard Worker// Licensed under the Apache License, Version 2.0 (the "License");
4*6dbdd20aSAndroid Build Coastguard Worker// you may not use this file except in compliance with the License.
5*6dbdd20aSAndroid Build Coastguard Worker// You may obtain a copy of the License at
6*6dbdd20aSAndroid Build Coastguard Worker//
7*6dbdd20aSAndroid Build Coastguard Worker//      http://www.apache.org/licenses/LICENSE-2.0
8*6dbdd20aSAndroid Build Coastguard Worker//
9*6dbdd20aSAndroid Build Coastguard Worker// Unless required by applicable law or agreed to in writing, software
10*6dbdd20aSAndroid Build Coastguard Worker// distributed under the License is distributed on an "AS IS" BASIS,
11*6dbdd20aSAndroid Build Coastguard Worker// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*6dbdd20aSAndroid Build Coastguard Worker// See the License for the specific language governing permissions and
13*6dbdd20aSAndroid Build Coastguard Worker// limitations under the License.
14*6dbdd20aSAndroid Build Coastguard Worker
15*6dbdd20aSAndroid Build Coastguard Worker@import "widgets/theme";
16*6dbdd20aSAndroid Build Coastguard Worker@import "typefaces";
17*6dbdd20aSAndroid Build Coastguard Worker@import "fonts";
18*6dbdd20aSAndroid Build Coastguard Worker
19*6dbdd20aSAndroid Build Coastguard Worker:root {
20*6dbdd20aSAndroid Build Coastguard Worker  --sidebar-width: 230px;
21*6dbdd20aSAndroid Build Coastguard Worker  --topbar-height: 44px;
22*6dbdd20aSAndroid Build Coastguard Worker  --monospace-font: "Roboto Mono", monospace;
23*6dbdd20aSAndroid Build Coastguard Worker  --track-shell-width: 250px;
24*6dbdd20aSAndroid Build Coastguard Worker  --track-border-color: #00000025;
25*6dbdd20aSAndroid Build Coastguard Worker  --anim-easing: cubic-bezier(0.4, 0, 0.2, 1);
26*6dbdd20aSAndroid Build Coastguard Worker  --selection-stroke-color: #00344596;
27*6dbdd20aSAndroid Build Coastguard Worker  --selection-fill-color: #8398e64d;
28*6dbdd20aSAndroid Build Coastguard Worker  --overview-timeline-non-visible-color: #c8c8c8cc;
29*6dbdd20aSAndroid Build Coastguard Worker  --details-content-height: 280px;
30*6dbdd20aSAndroid Build Coastguard Worker}
31*6dbdd20aSAndroid Build Coastguard Worker
32*6dbdd20aSAndroid Build Coastguard Worker@mixin transition($time: 0.1s) {
33*6dbdd20aSAndroid Build Coastguard Worker  transition:
34*6dbdd20aSAndroid Build Coastguard Worker    opacity $time ease,
35*6dbdd20aSAndroid Build Coastguard Worker    color $time ease,
36*6dbdd20aSAndroid Build Coastguard Worker    background-color $time ease,
37*6dbdd20aSAndroid Build Coastguard Worker    border-color $time ease,
38*6dbdd20aSAndroid Build Coastguard Worker    width $time ease,
39*6dbdd20aSAndroid Build Coastguard Worker    height $time ease,
40*6dbdd20aSAndroid Build Coastguard Worker    max-width $time ease,
41*6dbdd20aSAndroid Build Coastguard Worker    max-height $time ease,
42*6dbdd20aSAndroid Build Coastguard Worker    margin $time ease,
43*6dbdd20aSAndroid Build Coastguard Worker    transform $time ease,
44*6dbdd20aSAndroid Build Coastguard Worker    box-shadow $time ease,
45*6dbdd20aSAndroid Build Coastguard Worker    border-radius $time ease;
46*6dbdd20aSAndroid Build Coastguard Worker}
47*6dbdd20aSAndroid Build Coastguard Worker
48*6dbdd20aSAndroid Build Coastguard Worker@mixin material-icon($content) {
49*6dbdd20aSAndroid Build Coastguard Worker  @include icon;
50*6dbdd20aSAndroid Build Coastguard Worker  content: $content;
51*6dbdd20aSAndroid Build Coastguard Worker}
52*6dbdd20aSAndroid Build Coastguard Worker
53*6dbdd20aSAndroid Build Coastguard Worker* {
54*6dbdd20aSAndroid Build Coastguard Worker  box-sizing: border-box;
55*6dbdd20aSAndroid Build Coastguard Worker  -webkit-tap-highlight-color: transparent;
56*6dbdd20aSAndroid Build Coastguard Worker  touch-action: none;
57*6dbdd20aSAndroid Build Coastguard Worker}
58*6dbdd20aSAndroid Build Coastguard Worker
59*6dbdd20aSAndroid Build Coastguard Workerhtml {
60*6dbdd20aSAndroid Build Coastguard Worker  font-family: Roboto, verdana, sans-serif;
61*6dbdd20aSAndroid Build Coastguard Worker  height: 100%;
62*6dbdd20aSAndroid Build Coastguard Worker  width: 100%;
63*6dbdd20aSAndroid Build Coastguard Worker}
64*6dbdd20aSAndroid Build Coastguard Worker
65*6dbdd20aSAndroid Build Coastguard Workerhtml,
66*6dbdd20aSAndroid Build Coastguard Workerbody,
67*6dbdd20aSAndroid Build Coastguard Workerbody > main {
68*6dbdd20aSAndroid Build Coastguard Worker  height: 100%;
69*6dbdd20aSAndroid Build Coastguard Worker  width: 100%;
70*6dbdd20aSAndroid Build Coastguard Worker  padding: 0;
71*6dbdd20aSAndroid Build Coastguard Worker  margin: 0;
72*6dbdd20aSAndroid Build Coastguard Worker  overscroll-behavior: none;
73*6dbdd20aSAndroid Build Coastguard Worker  overflow: hidden;
74*6dbdd20aSAndroid Build Coastguard Worker}
75*6dbdd20aSAndroid Build Coastguard Worker
76*6dbdd20aSAndroid Build Coastguard Workerpre,
77*6dbdd20aSAndroid Build Coastguard Workercode {
78*6dbdd20aSAndroid Build Coastguard Worker  font-family: var(--monospace-font);
79*6dbdd20aSAndroid Build Coastguard Worker}
80*6dbdd20aSAndroid Build Coastguard Worker
81*6dbdd20aSAndroid Build Coastguard Worker// This is to minimize Mac vs Linux Chrome Headless rendering differences
82*6dbdd20aSAndroid Build Coastguard Worker// when running UI intergrationtests via puppeteer.
83*6dbdd20aSAndroid Build Coastguard Workerbody.testing {
84*6dbdd20aSAndroid Build Coastguard Worker  -webkit-font-smoothing: antialiased !important;
85*6dbdd20aSAndroid Build Coastguard Worker  font-kerning: none !important;
86*6dbdd20aSAndroid Build Coastguard Worker}
87*6dbdd20aSAndroid Build Coastguard Worker
88*6dbdd20aSAndroid Build Coastguard Workerh1,
89*6dbdd20aSAndroid Build Coastguard Workerh2,
90*6dbdd20aSAndroid Build Coastguard Workerh3 {
91*6dbdd20aSAndroid Build Coastguard Worker  font-family: inherit;
92*6dbdd20aSAndroid Build Coastguard Worker  font-size: inherit;
93*6dbdd20aSAndroid Build Coastguard Worker  font-weight: inherit;
94*6dbdd20aSAndroid Build Coastguard Worker  padding: 0;
95*6dbdd20aSAndroid Build Coastguard Worker  margin: 0;
96*6dbdd20aSAndroid Build Coastguard Worker}
97*6dbdd20aSAndroid Build Coastguard Workertable {
98*6dbdd20aSAndroid Build Coastguard Worker  user-select: text;
99*6dbdd20aSAndroid Build Coastguard Worker}
100*6dbdd20aSAndroid Build Coastguard Worker
101*6dbdd20aSAndroid Build Coastguard Workerbody > main {
102*6dbdd20aSAndroid Build Coastguard Worker  display: grid;
103*6dbdd20aSAndroid Build Coastguard Worker  grid-template-areas:
104*6dbdd20aSAndroid Build Coastguard Worker    "sidebar topbar"
105*6dbdd20aSAndroid Build Coastguard Worker    "sidebar alerts"
106*6dbdd20aSAndroid Build Coastguard Worker    "sidebar page";
107*6dbdd20aSAndroid Build Coastguard Worker  grid-template-rows: auto auto 1fr;
108*6dbdd20aSAndroid Build Coastguard Worker  grid-template-columns: auto 1fr;
109*6dbdd20aSAndroid Build Coastguard Worker  color: #121212;
110*6dbdd20aSAndroid Build Coastguard Worker  overflow: hidden;
111*6dbdd20aSAndroid Build Coastguard Worker}
112*6dbdd20aSAndroid Build Coastguard Worker
113*6dbdd20aSAndroid Build Coastguard Workerbody.filedrag::after {
114*6dbdd20aSAndroid Build Coastguard Worker  content: "Drop the trace file to open it";
115*6dbdd20aSAndroid Build Coastguard Worker  position: fixed;
116*6dbdd20aSAndroid Build Coastguard Worker  z-index: 99;
117*6dbdd20aSAndroid Build Coastguard Worker  top: 0;
118*6dbdd20aSAndroid Build Coastguard Worker  left: 0;
119*6dbdd20aSAndroid Build Coastguard Worker  right: 0;
120*6dbdd20aSAndroid Build Coastguard Worker  bottom: 0;
121*6dbdd20aSAndroid Build Coastguard Worker  border: 10px dashed #404854;
122*6dbdd20aSAndroid Build Coastguard Worker  text-align: center;
123*6dbdd20aSAndroid Build Coastguard Worker  font-size: 3rem;
124*6dbdd20aSAndroid Build Coastguard Worker  line-height: 100vh;
125*6dbdd20aSAndroid Build Coastguard Worker  color: #333;
126*6dbdd20aSAndroid Build Coastguard Worker  background: rgba(255, 255, 255, 0.5);
127*6dbdd20aSAndroid Build Coastguard Worker}
128*6dbdd20aSAndroid Build Coastguard Worker
129*6dbdd20aSAndroid Build Coastguard Workerbutton {
130*6dbdd20aSAndroid Build Coastguard Worker  background: none;
131*6dbdd20aSAndroid Build Coastguard Worker  color: inherit;
132*6dbdd20aSAndroid Build Coastguard Worker  border: none;
133*6dbdd20aSAndroid Build Coastguard Worker  padding: 0;
134*6dbdd20aSAndroid Build Coastguard Worker  font: inherit;
135*6dbdd20aSAndroid Build Coastguard Worker  cursor: pointer;
136*6dbdd20aSAndroid Build Coastguard Worker  outline: inherit;
137*6dbdd20aSAndroid Build Coastguard Worker}
138*6dbdd20aSAndroid Build Coastguard Worker
139*6dbdd20aSAndroid Build Coastguard Workerbutton.close {
140*6dbdd20aSAndroid Build Coastguard Worker  font-family: var(--monospace-font);
141*6dbdd20aSAndroid Build Coastguard Worker}
142*6dbdd20aSAndroid Build Coastguard Worker
143*6dbdd20aSAndroid Build Coastguard Worker.full-page-loading-screen {
144*6dbdd20aSAndroid Build Coastguard Worker  position: absolute;
145*6dbdd20aSAndroid Build Coastguard Worker  width: 100%;
146*6dbdd20aSAndroid Build Coastguard Worker  height: 100%;
147*6dbdd20aSAndroid Build Coastguard Worker  display: flex;
148*6dbdd20aSAndroid Build Coastguard Worker  justify-content: center;
149*6dbdd20aSAndroid Build Coastguard Worker  align-items: center;
150*6dbdd20aSAndroid Build Coastguard Worker  flex-direction: row;
151*6dbdd20aSAndroid Build Coastguard Worker  background: #3e4a5a url("assets/logo-3d.png") no-repeat fixed center;
152*6dbdd20aSAndroid Build Coastguard Worker}
153*6dbdd20aSAndroid Build Coastguard Worker
154*6dbdd20aSAndroid Build Coastguard Worker.page {
155*6dbdd20aSAndroid Build Coastguard Worker  grid-area: page;
156*6dbdd20aSAndroid Build Coastguard Worker}
157*6dbdd20aSAndroid Build Coastguard Worker
158*6dbdd20aSAndroid Build Coastguard Worker@mixin table-font-size {
159*6dbdd20aSAndroid Build Coastguard Worker  font-size: 14px;
160*6dbdd20aSAndroid Build Coastguard Worker  line-height: 18px;
161*6dbdd20aSAndroid Build Coastguard Worker}
162*6dbdd20aSAndroid Build Coastguard Worker
163*6dbdd20aSAndroid Build Coastguard Worker$table-hover-color: hsl(214, 22%, 90%);
164*6dbdd20aSAndroid Build Coastguard Worker
165*6dbdd20aSAndroid Build Coastguard Worker$table-border-color: rgba(60, 76, 92, 0.4);
166*6dbdd20aSAndroid Build Coastguard Worker
167*6dbdd20aSAndroid Build Coastguard Worker$bottom-tab-padding: 10px;
168*6dbdd20aSAndroid Build Coastguard Worker
169*6dbdd20aSAndroid Build Coastguard Worker@mixin table-component {
170*6dbdd20aSAndroid Build Coastguard Worker  @include bottom-panel-font;
171*6dbdd20aSAndroid Build Coastguard Worker  @include table-font-size;
172*6dbdd20aSAndroid Build Coastguard Worker
173*6dbdd20aSAndroid Build Coastguard Worker  width: 100%;
174*6dbdd20aSAndroid Build Coastguard Worker  border-collapse: collapse;
175*6dbdd20aSAndroid Build Coastguard Worker
176*6dbdd20aSAndroid Build Coastguard Worker  thead {
177*6dbdd20aSAndroid Build Coastguard Worker    font-weight: normal;
178*6dbdd20aSAndroid Build Coastguard Worker
179*6dbdd20aSAndroid Build Coastguard Worker    td.reorderable-cell {
180*6dbdd20aSAndroid Build Coastguard Worker      cursor: grab;
181*6dbdd20aSAndroid Build Coastguard Worker    }
182*6dbdd20aSAndroid Build Coastguard Worker  }
183*6dbdd20aSAndroid Build Coastguard Worker
184*6dbdd20aSAndroid Build Coastguard Worker  tr:hover td {
185*6dbdd20aSAndroid Build Coastguard Worker    background-color: $table-hover-color;
186*6dbdd20aSAndroid Build Coastguard Worker  }
187*6dbdd20aSAndroid Build Coastguard Worker
188*6dbdd20aSAndroid Build Coastguard Worker  tr.header {
189*6dbdd20aSAndroid Build Coastguard Worker    border-bottom: 1px solid $table-border-color;
190*6dbdd20aSAndroid Build Coastguard Worker    text-align: center;
191*6dbdd20aSAndroid Build Coastguard Worker  }
192*6dbdd20aSAndroid Build Coastguard Worker
193*6dbdd20aSAndroid Build Coastguard Worker  td {
194*6dbdd20aSAndroid Build Coastguard Worker    padding: 3px 5px;
195*6dbdd20aSAndroid Build Coastguard Worker    white-space: nowrap;
196*6dbdd20aSAndroid Build Coastguard Worker
197*6dbdd20aSAndroid Build Coastguard Worker    i.material-icons {
198*6dbdd20aSAndroid Build Coastguard Worker      // Shrink the icons inside the table cells to increase the information
199*6dbdd20aSAndroid Build Coastguard Worker      // density a little bit.
200*6dbdd20aSAndroid Build Coastguard Worker      font-size: 16px;
201*6dbdd20aSAndroid Build Coastguard Worker    }
202*6dbdd20aSAndroid Build Coastguard Worker
203*6dbdd20aSAndroid Build Coastguard Worker    has-left-border {
204*6dbdd20aSAndroid Build Coastguard Worker      border-left: 1px solid rgba(60, 76, 92, 0.4);
205*6dbdd20aSAndroid Build Coastguard Worker    }
206*6dbdd20aSAndroid Build Coastguard Worker  }
207*6dbdd20aSAndroid Build Coastguard Worker}
208*6dbdd20aSAndroid Build Coastguard Worker
209*6dbdd20aSAndroid Build Coastguard Worker.generic-table {
210*6dbdd20aSAndroid Build Coastguard Worker  @include table-component;
211*6dbdd20aSAndroid Build Coastguard Worker}
212*6dbdd20aSAndroid Build Coastguard Worker
213*6dbdd20aSAndroid Build Coastguard Worker.pivot-table {
214*6dbdd20aSAndroid Build Coastguard Worker  @include table-component;
215*6dbdd20aSAndroid Build Coastguard Worker
216*6dbdd20aSAndroid Build Coastguard Worker  thead,
217*6dbdd20aSAndroid Build Coastguard Worker  i {
218*6dbdd20aSAndroid Build Coastguard Worker    cursor: pointer;
219*6dbdd20aSAndroid Build Coastguard Worker  }
220*6dbdd20aSAndroid Build Coastguard Worker  td.first {
221*6dbdd20aSAndroid Build Coastguard Worker    border-left: 1px solid $table-border-color;
222*6dbdd20aSAndroid Build Coastguard Worker    padding-left: 6px;
223*6dbdd20aSAndroid Build Coastguard Worker  }
224*6dbdd20aSAndroid Build Coastguard Worker  .disabled {
225*6dbdd20aSAndroid Build Coastguard Worker    cursor: default;
226*6dbdd20aSAndroid Build Coastguard Worker  }
227*6dbdd20aSAndroid Build Coastguard Worker  .indent {
228*6dbdd20aSAndroid Build Coastguard Worker    display: inline-block;
229*6dbdd20aSAndroid Build Coastguard Worker    // 16px is the width of expand_more/expand_less icon to pad out cells
230*6dbdd20aSAndroid Build Coastguard Worker    // without the button
231*6dbdd20aSAndroid Build Coastguard Worker    width: 16px;
232*6dbdd20aSAndroid Build Coastguard Worker  }
233*6dbdd20aSAndroid Build Coastguard Worker  strong {
234*6dbdd20aSAndroid Build Coastguard Worker    font-weight: 400;
235*6dbdd20aSAndroid Build Coastguard Worker  }
236*6dbdd20aSAndroid Build Coastguard Worker}
237*6dbdd20aSAndroid Build Coastguard Worker
238*6dbdd20aSAndroid Build Coastguard Worker.pf-query-panel {
239*6dbdd20aSAndroid Build Coastguard Worker  display: contents;
240*6dbdd20aSAndroid Build Coastguard Worker  .pf-query-warning {
241*6dbdd20aSAndroid Build Coastguard Worker    padding: 4px;
242*6dbdd20aSAndroid Build Coastguard Worker    position: sticky;
243*6dbdd20aSAndroid Build Coastguard Worker    left: 0;
244*6dbdd20aSAndroid Build Coastguard Worker  }
245*6dbdd20aSAndroid Build Coastguard Worker}
246*6dbdd20aSAndroid Build Coastguard Worker
247*6dbdd20aSAndroid Build Coastguard Worker.pf-query-table {
248*6dbdd20aSAndroid Build Coastguard Worker  min-width: 100%;
249*6dbdd20aSAndroid Build Coastguard Worker  font-size: 14px;
250*6dbdd20aSAndroid Build Coastguard Worker  border: 0;
251*6dbdd20aSAndroid Build Coastguard Worker  thead td {
252*6dbdd20aSAndroid Build Coastguard Worker    position: sticky;
253*6dbdd20aSAndroid Build Coastguard Worker    top: 0;
254*6dbdd20aSAndroid Build Coastguard Worker    background-color: hsl(214, 22%, 90%);
255*6dbdd20aSAndroid Build Coastguard Worker    color: #262f3c;
256*6dbdd20aSAndroid Build Coastguard Worker    text-align: center;
257*6dbdd20aSAndroid Build Coastguard Worker    padding: 1px 3px;
258*6dbdd20aSAndroid Build Coastguard Worker    border-style: solid;
259*6dbdd20aSAndroid Build Coastguard Worker    border-color: #fff;
260*6dbdd20aSAndroid Build Coastguard Worker    border-right-width: 1px;
261*6dbdd20aSAndroid Build Coastguard Worker    border-left-width: 1px;
262*6dbdd20aSAndroid Build Coastguard Worker  }
263*6dbdd20aSAndroid Build Coastguard Worker  tbody tr {
264*6dbdd20aSAndroid Build Coastguard Worker    @include transition();
265*6dbdd20aSAndroid Build Coastguard Worker    background-color: hsl(214, 22%, 100%);
266*6dbdd20aSAndroid Build Coastguard Worker    font-family: var(--monospace-font);
267*6dbdd20aSAndroid Build Coastguard Worker    &:nth-child(even) {
268*6dbdd20aSAndroid Build Coastguard Worker      background-color: hsl(214, 22%, 95%);
269*6dbdd20aSAndroid Build Coastguard Worker    }
270*6dbdd20aSAndroid Build Coastguard Worker    td:first-child {
271*6dbdd20aSAndroid Build Coastguard Worker      padding-left: 5px;
272*6dbdd20aSAndroid Build Coastguard Worker    }
273*6dbdd20aSAndroid Build Coastguard Worker    td:last-child {
274*6dbdd20aSAndroid Build Coastguard Worker      padding-right: 5px;
275*6dbdd20aSAndroid Build Coastguard Worker    }
276*6dbdd20aSAndroid Build Coastguard Worker    &:hover {
277*6dbdd20aSAndroid Build Coastguard Worker      background-color: hsl(214, 22%, 90%);
278*6dbdd20aSAndroid Build Coastguard Worker    }
279*6dbdd20aSAndroid Build Coastguard Worker    &[clickable] {
280*6dbdd20aSAndroid Build Coastguard Worker      cursor: pointer;
281*6dbdd20aSAndroid Build Coastguard Worker      &:active {
282*6dbdd20aSAndroid Build Coastguard Worker        background-color: hsl(206, 19%, 75%);
283*6dbdd20aSAndroid Build Coastguard Worker        box-shadow: inset 1px 1px 4px #00000040;
284*6dbdd20aSAndroid Build Coastguard Worker        transition: none;
285*6dbdd20aSAndroid Build Coastguard Worker      }
286*6dbdd20aSAndroid Build Coastguard Worker    }
287*6dbdd20aSAndroid Build Coastguard Worker  }
288*6dbdd20aSAndroid Build Coastguard Worker}
289*6dbdd20aSAndroid Build Coastguard Worker
290*6dbdd20aSAndroid Build Coastguard Worker.query-error {
291*6dbdd20aSAndroid Build Coastguard Worker  padding: 20px 10px;
292*6dbdd20aSAndroid Build Coastguard Worker  color: hsl(-10, 50%, 50%);
293*6dbdd20aSAndroid Build Coastguard Worker  font-family: "Roboto Mono", sans-serif;
294*6dbdd20aSAndroid Build Coastguard Worker  font-size: 12px;
295*6dbdd20aSAndroid Build Coastguard Worker  font-weight: 300;
296*6dbdd20aSAndroid Build Coastguard Worker  white-space: pre;
297*6dbdd20aSAndroid Build Coastguard Worker}
298*6dbdd20aSAndroid Build Coastguard Worker
299*6dbdd20aSAndroid Build Coastguard Worker.dropdown {
300*6dbdd20aSAndroid Build Coastguard Worker  display: inline-block;
301*6dbdd20aSAndroid Build Coastguard Worker  position: relative;
302*6dbdd20aSAndroid Build Coastguard Worker}
303*6dbdd20aSAndroid Build Coastguard Worker
304*6dbdd20aSAndroid Build Coastguard Worker.dropdown-button {
305*6dbdd20aSAndroid Build Coastguard Worker  cursor: pointer;
306*6dbdd20aSAndroid Build Coastguard Worker}
307*6dbdd20aSAndroid Build Coastguard Worker
308*6dbdd20aSAndroid Build Coastguard Worker.popup-menu {
309*6dbdd20aSAndroid Build Coastguard Worker  position: absolute;
310*6dbdd20aSAndroid Build Coastguard Worker  background-color: white;
311*6dbdd20aSAndroid Build Coastguard Worker  right: 0;
312*6dbdd20aSAndroid Build Coastguard Worker  box-shadow: 0 0 4px 0 #999;
313*6dbdd20aSAndroid Build Coastguard Worker  /* TODO(hjd): Reduce and make z-index use sensible. */
314*6dbdd20aSAndroid Build Coastguard Worker  z-index: 1000;
315*6dbdd20aSAndroid Build Coastguard Worker
316*6dbdd20aSAndroid Build Coastguard Worker  &.closed {
317*6dbdd20aSAndroid Build Coastguard Worker    display: none;
318*6dbdd20aSAndroid Build Coastguard Worker  }
319*6dbdd20aSAndroid Build Coastguard Worker
320*6dbdd20aSAndroid Build Coastguard Worker  &.opened {
321*6dbdd20aSAndroid Build Coastguard Worker    display: block;
322*6dbdd20aSAndroid Build Coastguard Worker  }
323*6dbdd20aSAndroid Build Coastguard Worker
324*6dbdd20aSAndroid Build Coastguard Worker  button.open-menu {
325*6dbdd20aSAndroid Build Coastguard Worker    border-radius: 0;
326*6dbdd20aSAndroid Build Coastguard Worker    margin: 0;
327*6dbdd20aSAndroid Build Coastguard Worker    height: auto;
328*6dbdd20aSAndroid Build Coastguard Worker    background: transparent;
329*6dbdd20aSAndroid Build Coastguard Worker    color: #111;
330*6dbdd20aSAndroid Build Coastguard Worker    font-size: 12px;
331*6dbdd20aSAndroid Build Coastguard Worker    padding: 0.4em 1em;
332*6dbdd20aSAndroid Build Coastguard Worker    white-space: nowrap;
333*6dbdd20aSAndroid Build Coastguard Worker    width: 100%;
334*6dbdd20aSAndroid Build Coastguard Worker    text-align: right;
335*6dbdd20aSAndroid Build Coastguard Worker    line-height: 1;
336*6dbdd20aSAndroid Build Coastguard Worker    display: block; // Required in order for inherited white-space property not
337*6dbdd20aSAndroid Build Coastguard Worker    // to screw up vertical rendering of the popup menu items.
338*6dbdd20aSAndroid Build Coastguard Worker
339*6dbdd20aSAndroid Build Coastguard Worker    &:hover {
340*6dbdd20aSAndroid Build Coastguard Worker      background: #c7d0db;
341*6dbdd20aSAndroid Build Coastguard Worker    }
342*6dbdd20aSAndroid Build Coastguard Worker  }
343*6dbdd20aSAndroid Build Coastguard Worker
344*6dbdd20aSAndroid Build Coastguard Worker  .nested-menu {
345*6dbdd20aSAndroid Build Coastguard Worker    padding-right: 1em;
346*6dbdd20aSAndroid Build Coastguard Worker  }
347*6dbdd20aSAndroid Build Coastguard Worker}
348*6dbdd20aSAndroid Build Coastguard Worker
349*6dbdd20aSAndroid Build Coastguard Worker.x-scrollable {
350*6dbdd20aSAndroid Build Coastguard Worker  overflow-x: auto;
351*6dbdd20aSAndroid Build Coastguard Worker}
352*6dbdd20aSAndroid Build Coastguard Worker
353*6dbdd20aSAndroid Build Coastguard Workerheader.overview {
354*6dbdd20aSAndroid Build Coastguard Worker  position: sticky;
355*6dbdd20aSAndroid Build Coastguard Worker  top: 0;
356*6dbdd20aSAndroid Build Coastguard Worker  left: 0;
357*6dbdd20aSAndroid Build Coastguard Worker  display: flex;
358*6dbdd20aSAndroid Build Coastguard Worker  align-content: baseline;
359*6dbdd20aSAndroid Build Coastguard Worker  background-color: hsl(213, 22%, 82%);
360*6dbdd20aSAndroid Build Coastguard Worker  color: hsl(213, 22%, 20%);
361*6dbdd20aSAndroid Build Coastguard Worker  font-family: "Roboto Condensed", sans-serif;
362*6dbdd20aSAndroid Build Coastguard Worker  font-size: 15px;
363*6dbdd20aSAndroid Build Coastguard Worker  font-weight: 400;
364*6dbdd20aSAndroid Build Coastguard Worker  padding: 4px 10px;
365*6dbdd20aSAndroid Build Coastguard Worker  vertical-align: middle;
366*6dbdd20aSAndroid Build Coastguard Worker  border-color: hsl(213, 22%, 75%);
367*6dbdd20aSAndroid Build Coastguard Worker  border-style: solid;
368*6dbdd20aSAndroid Build Coastguard Worker  border-width: 1px 0;
369*6dbdd20aSAndroid Build Coastguard Worker  .code {
370*6dbdd20aSAndroid Build Coastguard Worker    font-family: var(--monospace-font);
371*6dbdd20aSAndroid Build Coastguard Worker    font-size: 12px;
372*6dbdd20aSAndroid Build Coastguard Worker    margin-left: 10px;
373*6dbdd20aSAndroid Build Coastguard Worker    color: hsl(213, 22%, 40%);
374*6dbdd20aSAndroid Build Coastguard Worker  }
375*6dbdd20aSAndroid Build Coastguard Worker  span {
376*6dbdd20aSAndroid Build Coastguard Worker    white-space: nowrap;
377*6dbdd20aSAndroid Build Coastguard Worker  }
378*6dbdd20aSAndroid Build Coastguard Worker  span.code {
379*6dbdd20aSAndroid Build Coastguard Worker    text-overflow: ellipsis;
380*6dbdd20aSAndroid Build Coastguard Worker    max-width: 50vw;
381*6dbdd20aSAndroid Build Coastguard Worker    overflow: hidden;
382*6dbdd20aSAndroid Build Coastguard Worker  }
383*6dbdd20aSAndroid Build Coastguard Worker  span.spacer {
384*6dbdd20aSAndroid Build Coastguard Worker    flex-grow: 1;
385*6dbdd20aSAndroid Build Coastguard Worker  }
386*6dbdd20aSAndroid Build Coastguard Worker}
387*6dbdd20aSAndroid Build Coastguard Worker
388*6dbdd20aSAndroid Build Coastguard Worker.text-select {
389*6dbdd20aSAndroid Build Coastguard Worker  user-select: text;
390*6dbdd20aSAndroid Build Coastguard Worker}
391*6dbdd20aSAndroid Build Coastguard Worker
392*6dbdd20aSAndroid Build Coastguard Workerbutton.query-ctrl {
393*6dbdd20aSAndroid Build Coastguard Worker  background: #262f3c;
394*6dbdd20aSAndroid Build Coastguard Worker  color: white;
395*6dbdd20aSAndroid Build Coastguard Worker  border-radius: 10px;
396*6dbdd20aSAndroid Build Coastguard Worker  font-size: 10px;
397*6dbdd20aSAndroid Build Coastguard Worker  height: 18px;
398*6dbdd20aSAndroid Build Coastguard Worker  line-height: 18px;
399*6dbdd20aSAndroid Build Coastguard Worker  min-width: 7em;
400*6dbdd20aSAndroid Build Coastguard Worker  margin: auto 0 auto 1rem;
401*6dbdd20aSAndroid Build Coastguard Worker}
402*6dbdd20aSAndroid Build Coastguard Worker
403*6dbdd20aSAndroid Build Coastguard Worker.perf-stats {
404*6dbdd20aSAndroid Build Coastguard Worker  --stroke-color: hsl(217, 39%, 94%);
405*6dbdd20aSAndroid Build Coastguard Worker  position: fixed;
406*6dbdd20aSAndroid Build Coastguard Worker  bottom: 0;
407*6dbdd20aSAndroid Build Coastguard Worker  left: 0;
408*6dbdd20aSAndroid Build Coastguard Worker  width: 600px;
409*6dbdd20aSAndroid Build Coastguard Worker  color: var(--stroke-color);
410*6dbdd20aSAndroid Build Coastguard Worker  font-family: var(--monospace-font);
411*6dbdd20aSAndroid Build Coastguard Worker  padding: 10px 24px;
412*6dbdd20aSAndroid Build Coastguard Worker  z-index: 100;
413*6dbdd20aSAndroid Build Coastguard Worker  background-color: rgba(27, 28, 29, 0.9);
414*6dbdd20aSAndroid Build Coastguard Worker  button {
415*6dbdd20aSAndroid Build Coastguard Worker    text-decoration: underline;
416*6dbdd20aSAndroid Build Coastguard Worker    color: hsl(45, 100%, 48%);
417*6dbdd20aSAndroid Build Coastguard Worker    &:hover {
418*6dbdd20aSAndroid Build Coastguard Worker      color: hsl(6, 70%, 53%);
419*6dbdd20aSAndroid Build Coastguard Worker    }
420*6dbdd20aSAndroid Build Coastguard Worker  }
421*6dbdd20aSAndroid Build Coastguard Worker  .close-button {
422*6dbdd20aSAndroid Build Coastguard Worker    position: absolute;
423*6dbdd20aSAndroid Build Coastguard Worker    right: 20px;
424*6dbdd20aSAndroid Build Coastguard Worker    top: 10px;
425*6dbdd20aSAndroid Build Coastguard Worker    width: 20px;
426*6dbdd20aSAndroid Build Coastguard Worker    height: 20px;
427*6dbdd20aSAndroid Build Coastguard Worker    color: var(--stroke-color);
428*6dbdd20aSAndroid Build Coastguard Worker  }
429*6dbdd20aSAndroid Build Coastguard Worker  & > section {
430*6dbdd20aSAndroid Build Coastguard Worker    padding: 5px;
431*6dbdd20aSAndroid Build Coastguard Worker    border-bottom: 1px solid var(--stroke-color);
432*6dbdd20aSAndroid Build Coastguard Worker  }
433*6dbdd20aSAndroid Build Coastguard Worker  div {
434*6dbdd20aSAndroid Build Coastguard Worker    margin: 2px 0;
435*6dbdd20aSAndroid Build Coastguard Worker  }
436*6dbdd20aSAndroid Build Coastguard Worker  table,
437*6dbdd20aSAndroid Build Coastguard Worker  td,
438*6dbdd20aSAndroid Build Coastguard Worker  th {
439*6dbdd20aSAndroid Build Coastguard Worker    border: 1px solid var(--stroke-color);
440*6dbdd20aSAndroid Build Coastguard Worker    text-align: center;
441*6dbdd20aSAndroid Build Coastguard Worker    padding: 4px;
442*6dbdd20aSAndroid Build Coastguard Worker    margin: 4px 0;
443*6dbdd20aSAndroid Build Coastguard Worker  }
444*6dbdd20aSAndroid Build Coastguard Worker  table {
445*6dbdd20aSAndroid Build Coastguard Worker    border-collapse: collapse;
446*6dbdd20aSAndroid Build Coastguard Worker  }
447*6dbdd20aSAndroid Build Coastguard Worker}
448*6dbdd20aSAndroid Build Coastguard Worker
449*6dbdd20aSAndroid Build Coastguard Worker.cookie-consent {
450*6dbdd20aSAndroid Build Coastguard Worker  position: absolute;
451*6dbdd20aSAndroid Build Coastguard Worker  z-index: 10;
452*6dbdd20aSAndroid Build Coastguard Worker  left: 10px;
453*6dbdd20aSAndroid Build Coastguard Worker  bottom: 10px;
454*6dbdd20aSAndroid Build Coastguard Worker  width: 550px;
455*6dbdd20aSAndroid Build Coastguard Worker  background-color: #19212b;
456*6dbdd20aSAndroid Build Coastguard Worker  font-size: 14px;
457*6dbdd20aSAndroid Build Coastguard Worker  color: rgb(180, 183, 186);
458*6dbdd20aSAndroid Build Coastguard Worker  border-radius: 5px;
459*6dbdd20aSAndroid Build Coastguard Worker  padding: 20px;
460*6dbdd20aSAndroid Build Coastguard Worker
461*6dbdd20aSAndroid Build Coastguard Worker  .buttons {
462*6dbdd20aSAndroid Build Coastguard Worker    display: flex;
463*6dbdd20aSAndroid Build Coastguard Worker    justify-content: flex-end;
464*6dbdd20aSAndroid Build Coastguard Worker    margin-top: 10px;
465*6dbdd20aSAndroid Build Coastguard Worker    font-size: 15px;
466*6dbdd20aSAndroid Build Coastguard Worker  }
467*6dbdd20aSAndroid Build Coastguard Worker
468*6dbdd20aSAndroid Build Coastguard Worker  button {
469*6dbdd20aSAndroid Build Coastguard Worker    padding: 10px;
470*6dbdd20aSAndroid Build Coastguard Worker    border-radius: 3px;
471*6dbdd20aSAndroid Build Coastguard Worker    color: #fff;
472*6dbdd20aSAndroid Build Coastguard Worker    margin-left: 5px;
473*6dbdd20aSAndroid Build Coastguard Worker    a {
474*6dbdd20aSAndroid Build Coastguard Worker      text-decoration: none;
475*6dbdd20aSAndroid Build Coastguard Worker      color: #fff;
476*6dbdd20aSAndroid Build Coastguard Worker    }
477*6dbdd20aSAndroid Build Coastguard Worker  }
478*6dbdd20aSAndroid Build Coastguard Worker  button:hover {
479*6dbdd20aSAndroid Build Coastguard Worker    background-color: #373f4b;
480*6dbdd20aSAndroid Build Coastguard Worker    cursor: pointer;
481*6dbdd20aSAndroid Build Coastguard Worker  }
482*6dbdd20aSAndroid Build Coastguard Worker}
483*6dbdd20aSAndroid Build Coastguard Worker
484*6dbdd20aSAndroid Build Coastguard Worker.disallow-selection {
485*6dbdd20aSAndroid Build Coastguard Worker  user-select: none;
486*6dbdd20aSAndroid Build Coastguard Worker}
487*6dbdd20aSAndroid Build Coastguard Worker
488*6dbdd20aSAndroid Build Coastguard Worker.pivot-table {
489*6dbdd20aSAndroid Build Coastguard Worker  user-select: text;
490*6dbdd20aSAndroid Build Coastguard Worker  padding: $bottom-tab-padding;
491*6dbdd20aSAndroid Build Coastguard Worker
492*6dbdd20aSAndroid Build Coastguard Worker  button.mode-button {
493*6dbdd20aSAndroid Build Coastguard Worker    border-radius: 10px;
494*6dbdd20aSAndroid Build Coastguard Worker    padding: 7px;
495*6dbdd20aSAndroid Build Coastguard Worker    margin: 5px;
496*6dbdd20aSAndroid Build Coastguard Worker    background-color: #c7d0db;
497*6dbdd20aSAndroid Build Coastguard Worker  }
498*6dbdd20aSAndroid Build Coastguard Worker
499*6dbdd20aSAndroid Build Coastguard Worker  &.query-error {
500*6dbdd20aSAndroid Build Coastguard Worker    color: red;
501*6dbdd20aSAndroid Build Coastguard Worker  }
502*6dbdd20aSAndroid Build Coastguard Worker
503*6dbdd20aSAndroid Build Coastguard Worker  .total-values {
504*6dbdd20aSAndroid Build Coastguard Worker    text-align: right;
505*6dbdd20aSAndroid Build Coastguard Worker    padding-right: 10px;
506*6dbdd20aSAndroid Build Coastguard Worker  }
507*6dbdd20aSAndroid Build Coastguard Worker
508*6dbdd20aSAndroid Build Coastguard Worker  .empty-result {
509*6dbdd20aSAndroid Build Coastguard Worker    padding: 10px;
510*6dbdd20aSAndroid Build Coastguard Worker  }
511*6dbdd20aSAndroid Build Coastguard Worker
512*6dbdd20aSAndroid Build Coastguard Worker  td.menu {
513*6dbdd20aSAndroid Build Coastguard Worker    text-align: left;
514*6dbdd20aSAndroid Build Coastguard Worker  }
515*6dbdd20aSAndroid Build Coastguard Worker
516*6dbdd20aSAndroid Build Coastguard Worker  td {
517*6dbdd20aSAndroid Build Coastguard Worker    // In context menu icon to go on a separate line.
518*6dbdd20aSAndroid Build Coastguard Worker    // In regular pivot table cells, avoids wrapping the icon spacer to go on
519*6dbdd20aSAndroid Build Coastguard Worker    // a separate line.
520*6dbdd20aSAndroid Build Coastguard Worker    white-space: pre;
521*6dbdd20aSAndroid Build Coastguard Worker  }
522*6dbdd20aSAndroid Build Coastguard Worker}
523*6dbdd20aSAndroid Build Coastguard Worker
524*6dbdd20aSAndroid Build Coastguard Worker.name-completion {
525*6dbdd20aSAndroid Build Coastguard Worker  input {
526*6dbdd20aSAndroid Build Coastguard Worker    width: 90%;
527*6dbdd20aSAndroid Build Coastguard Worker  }
528*6dbdd20aSAndroid Build Coastguard Worker  min-height: 20vh;
529*6dbdd20aSAndroid Build Coastguard Worker  min-width: 30vw;
530*6dbdd20aSAndroid Build Coastguard Worker
531*6dbdd20aSAndroid Build Coastguard Worker  .arguments-popup-sizer {
532*6dbdd20aSAndroid Build Coastguard Worker    color: transparent;
533*6dbdd20aSAndroid Build Coastguard Worker    user-select: none;
534*6dbdd20aSAndroid Build Coastguard Worker    height: 0;
535*6dbdd20aSAndroid Build Coastguard Worker  }
536*6dbdd20aSAndroid Build Coastguard Worker}
537*6dbdd20aSAndroid Build Coastguard Worker
538*6dbdd20aSAndroid Build Coastguard Worker.reorderable-cell {
539*6dbdd20aSAndroid Build Coastguard Worker  &.dragged {
540*6dbdd20aSAndroid Build Coastguard Worker    color: gray;
541*6dbdd20aSAndroid Build Coastguard Worker  }
542*6dbdd20aSAndroid Build Coastguard Worker
543*6dbdd20aSAndroid Build Coastguard Worker  &.highlight-left {
544*6dbdd20aSAndroid Build Coastguard Worker    background: linear-gradient(90deg, $table-border-color, transparent 20%);
545*6dbdd20aSAndroid Build Coastguard Worker  }
546*6dbdd20aSAndroid Build Coastguard Worker
547*6dbdd20aSAndroid Build Coastguard Worker  &.highlight-right {
548*6dbdd20aSAndroid Build Coastguard Worker    background: linear-gradient(270deg, $table-border-color, transparent 20%);
549*6dbdd20aSAndroid Build Coastguard Worker  }
550*6dbdd20aSAndroid Build Coastguard Worker}
551*6dbdd20aSAndroid Build Coastguard Worker
552*6dbdd20aSAndroid Build Coastguard Worker.history-item {
553*6dbdd20aSAndroid Build Coastguard Worker  border-bottom: 1px solid hsl(213, 22%, 75%);
554*6dbdd20aSAndroid Build Coastguard Worker  padding: 0.25em 0.5em;
555*6dbdd20aSAndroid Build Coastguard Worker  max-height: 150px;
556*6dbdd20aSAndroid Build Coastguard Worker  overflow-y: auto;
557*6dbdd20aSAndroid Build Coastguard Worker  position: relative;
558*6dbdd20aSAndroid Build Coastguard Worker
559*6dbdd20aSAndroid Build Coastguard Worker  pre {
560*6dbdd20aSAndroid Build Coastguard Worker    font-size: 10pt;
561*6dbdd20aSAndroid Build Coastguard Worker    margin: 0;
562*6dbdd20aSAndroid Build Coastguard Worker    overflow-x: auto;
563*6dbdd20aSAndroid Build Coastguard Worker    overflow-y: hidden;
564*6dbdd20aSAndroid Build Coastguard Worker    white-space: pre-wrap;
565*6dbdd20aSAndroid Build Coastguard Worker    position: relative;
566*6dbdd20aSAndroid Build Coastguard Worker    cursor: pointer;
567*6dbdd20aSAndroid Build Coastguard Worker
568*6dbdd20aSAndroid Build Coastguard Worker    &:hover::after {
569*6dbdd20aSAndroid Build Coastguard Worker      content: "Doubleclick to re-run";
570*6dbdd20aSAndroid Build Coastguard Worker      font-size: 12px;
571*6dbdd20aSAndroid Build Coastguard Worker      color: rgba(0, 0, 0, 20%);
572*6dbdd20aSAndroid Build Coastguard Worker      position: absolute;
573*6dbdd20aSAndroid Build Coastguard Worker      top: 0;
574*6dbdd20aSAndroid Build Coastguard Worker      margin: auto;
575*6dbdd20aSAndroid Build Coastguard Worker      right: 0;
576*6dbdd20aSAndroid Build Coastguard Worker    }
577*6dbdd20aSAndroid Build Coastguard Worker  }
578*6dbdd20aSAndroid Build Coastguard Worker
579*6dbdd20aSAndroid Build Coastguard Worker  &:hover {
580*6dbdd20aSAndroid Build Coastguard Worker    background-color: hsl(213, 22%, 94%);
581*6dbdd20aSAndroid Build Coastguard Worker    .history-item-buttons {
582*6dbdd20aSAndroid Build Coastguard Worker      visibility: visible;
583*6dbdd20aSAndroid Build Coastguard Worker    }
584*6dbdd20aSAndroid Build Coastguard Worker  }
585*6dbdd20aSAndroid Build Coastguard Worker}
586*6dbdd20aSAndroid Build Coastguard Worker
587*6dbdd20aSAndroid Build Coastguard Worker.history-item-buttons {
588*6dbdd20aSAndroid Build Coastguard Worker  position: sticky;
589*6dbdd20aSAndroid Build Coastguard Worker  float: right;
590*6dbdd20aSAndroid Build Coastguard Worker  top: 0;
591*6dbdd20aSAndroid Build Coastguard Worker  visibility: hidden;
592*6dbdd20aSAndroid Build Coastguard Worker
593*6dbdd20aSAndroid Build Coastguard Worker  button {
594*6dbdd20aSAndroid Build Coastguard Worker    margin: 0 0.5rem;
595*6dbdd20aSAndroid Build Coastguard Worker
596*6dbdd20aSAndroid Build Coastguard Worker    i.material-icons,
597*6dbdd20aSAndroid Build Coastguard Worker    i.material-icons-filled {
598*6dbdd20aSAndroid Build Coastguard Worker      font-size: 18px;
599*6dbdd20aSAndroid Build Coastguard Worker    }
600*6dbdd20aSAndroid Build Coastguard Worker  }
601*6dbdd20aSAndroid Build Coastguard Worker}
602*6dbdd20aSAndroid Build Coastguard Worker
603*6dbdd20aSAndroid Build Coastguard Worker.context-wrapper {
604*6dbdd20aSAndroid Build Coastguard Worker  white-space: nowrap;
605*6dbdd20aSAndroid Build Coastguard Worker
606*6dbdd20aSAndroid Build Coastguard Worker  i.material-icons {
607*6dbdd20aSAndroid Build Coastguard Worker    margin-left: 0;
608*6dbdd20aSAndroid Build Coastguard Worker  }
609*6dbdd20aSAndroid Build Coastguard Worker}
610