ui/src/assets/metrics_page.scss

// Copyright (C) 2020 The Android Open Source Project
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//      http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

@import "widgets/theme";

.metrics-page-picker {
  display: flex;
}

.metrics-page-picker > * {
  margin-right: 1rem;
}

.metrics-page {
  padding: 30px;
  font-family: "Roboto", sans-serif;
  overflow-y: scroll;
  overflow-x: hidden;

  & > * {
    margin-bottom: 1rem;
  }

  pre {
    background-color: #eee;
    padding: 20px;
    font-family: "Roboto Mono";
    line-height: 1.5em;
    border-radius: $pf-border-radius;
    overflow-x: auto;
    &.metric-error {
      color: #ef6c00;
    }
  }
}