1*6dbdd20aSAndroid Build Coastguard Worker// Copyright (C) 2020 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 17*6dbdd20aSAndroid Build Coastguard Worker.metrics-page-picker { 18*6dbdd20aSAndroid Build Coastguard Worker display: flex; 19*6dbdd20aSAndroid Build Coastguard Worker} 20*6dbdd20aSAndroid Build Coastguard Worker 21*6dbdd20aSAndroid Build Coastguard Worker.metrics-page-picker > * { 22*6dbdd20aSAndroid Build Coastguard Worker margin-right: 1rem; 23*6dbdd20aSAndroid Build Coastguard Worker} 24*6dbdd20aSAndroid Build Coastguard Worker 25*6dbdd20aSAndroid Build Coastguard Worker.metrics-page { 26*6dbdd20aSAndroid Build Coastguard Worker padding: 30px; 27*6dbdd20aSAndroid Build Coastguard Worker font-family: "Roboto", sans-serif; 28*6dbdd20aSAndroid Build Coastguard Worker overflow-y: scroll; 29*6dbdd20aSAndroid Build Coastguard Worker overflow-x: hidden; 30*6dbdd20aSAndroid Build Coastguard Worker 31*6dbdd20aSAndroid Build Coastguard Worker & > * { 32*6dbdd20aSAndroid Build Coastguard Worker margin-bottom: 1rem; 33*6dbdd20aSAndroid Build Coastguard Worker } 34*6dbdd20aSAndroid Build Coastguard Worker 35*6dbdd20aSAndroid Build Coastguard Worker pre { 36*6dbdd20aSAndroid Build Coastguard Worker background-color: #eee; 37*6dbdd20aSAndroid Build Coastguard Worker padding: 20px; 38*6dbdd20aSAndroid Build Coastguard Worker font-family: "Roboto Mono"; 39*6dbdd20aSAndroid Build Coastguard Worker line-height: 1.5em; 40*6dbdd20aSAndroid Build Coastguard Worker border-radius: $pf-border-radius; 41*6dbdd20aSAndroid Build Coastguard Worker overflow-x: auto; 42*6dbdd20aSAndroid Build Coastguard Worker &.metric-error { 43*6dbdd20aSAndroid Build Coastguard Worker color: #ef6c00; 44*6dbdd20aSAndroid Build Coastguard Worker } 45*6dbdd20aSAndroid Build Coastguard Worker } 46*6dbdd20aSAndroid Build Coastguard Worker} 47