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