xref: /aosp_15_r20/external/perfetto/ui/src/assets/metrics_page.scss (revision 6dbdd20afdafa5e3ca9b8809fa73465d530080dc)
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