1// Copyright (C) 2020 The Android Open Source Project 2// 3// Licensed under the Apache License, Version 2.0 (the "License"); 4// you may not use this file except in compliance with the License. 5// You may obtain a copy of the License at 6// 7// http://www.apache.org/licenses/LICENSE-2.0 8// 9// Unless required by applicable law or agreed to in writing, software 10// distributed under the License is distributed on an "AS IS" BASIS, 11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12// See the License for the specific language governing permissions and 13// limitations under the License. 14 15@import "widgets/theme"; 16 17.metrics-page-picker { 18 display: flex; 19} 20 21.metrics-page-picker > * { 22 margin-right: 1rem; 23} 24 25.metrics-page { 26 padding: 30px; 27 font-family: "Roboto", sans-serif; 28 overflow-y: scroll; 29 overflow-x: hidden; 30 31 & > * { 32 margin-bottom: 1rem; 33 } 34 35 pre { 36 background-color: #eee; 37 padding: 20px; 38 font-family: "Roboto Mono"; 39 line-height: 1.5em; 40 border-radius: $pf-border-radius; 41 overflow-x: auto; 42 &.metric-error { 43 color: #ef6c00; 44 } 45 } 46} 47