xref: /aosp_15_r20/external/pigweed/pw_web/webconsole/styles/repl.module.css (revision 61c4878ac05f98d0ceed94b57d316916de578985)
1*61c4878aSAndroid Build Coastguard Worker/*
2*61c4878aSAndroid Build Coastguard Worker * Copyright 2022 The Pigweed Authors
3*61c4878aSAndroid Build Coastguard Worker *
4*61c4878aSAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License"); you may not
5*61c4878aSAndroid Build Coastguard Worker * use this file except in compliance with the License. You may obtain a copy of
6*61c4878aSAndroid Build Coastguard Worker * the License at
7*61c4878aSAndroid Build Coastguard Worker *
8*61c4878aSAndroid Build Coastguard Worker *     https://www.apache.org/licenses/LICENSE-2.0
9*61c4878aSAndroid Build Coastguard Worker *
10*61c4878aSAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software
11*61c4878aSAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
12*61c4878aSAndroid Build Coastguard Worker * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
13*61c4878aSAndroid Build Coastguard Worker * License for the specific language governing permissions and limitations under
14*61c4878aSAndroid Build Coastguard Worker * the License.
15*61c4878aSAndroid Build Coastguard Worker */
16*61c4878aSAndroid Build Coastguard Worker.container {
17*61c4878aSAndroid Build Coastguard Worker  display: flex;
18*61c4878aSAndroid Build Coastguard Worker  flex-direction: column;
19*61c4878aSAndroid Build Coastguard Worker  height: 100%;
20*61c4878aSAndroid Build Coastguard Worker}
21*61c4878aSAndroid Build Coastguard Worker
22*61c4878aSAndroid Build Coastguard Worker.editor {
23*61c4878aSAndroid Build Coastguard Worker  border-top: 1px solid #414141;
24*61c4878aSAndroid Build Coastguard Worker  min-height: 150px;
25*61c4878aSAndroid Build Coastguard Worker  flex: 1;
26*61c4878aSAndroid Build Coastguard Worker    max-height: 15vh;
27*61c4878aSAndroid Build Coastguard Worker    overflow: auto;
28*61c4878aSAndroid Build Coastguard Worker  }
29*61c4878aSAndroid Build Coastguard Worker
30*61c4878aSAndroid Build Coastguard Worker  .editor .cm-content,
31*61c4878aSAndroid Build Coastguard Worker  .editor .cm-gutter {
32*61c4878aSAndroid Build Coastguard Worker    min-height: 150px;
33*61c4878aSAndroid Build Coastguard Worker  }
34*61c4878aSAndroid Build Coastguard Worker
35*61c4878aSAndroid Build Coastguard Worker  .editor .cm-gutters {
36*61c4878aSAndroid Build Coastguard Worker    margin: 1px;
37*61c4878aSAndroid Build Coastguard Worker  }
38*61c4878aSAndroid Build Coastguard Worker
39*61c4878aSAndroid Build Coastguard Worker  .editor .cm-scroller {
40*61c4878aSAndroid Build Coastguard Worker    overflow: auto;
41*61c4878aSAndroid Build Coastguard Worker}
42*61c4878aSAndroid Build Coastguard Worker
43*61c4878aSAndroid Build Coastguard Worker.logs {
44*61c4878aSAndroid Build Coastguard Worker  flex: 1;
45*61c4878aSAndroid Build Coastguard Worker}
46*61c4878aSAndroid Build Coastguard Worker
47*61c4878aSAndroid Build Coastguard Worker.replWithCaret {
48*61c4878aSAndroid Build Coastguard Worker  display: flex;
49*61c4878aSAndroid Build Coastguard Worker}
50*61c4878aSAndroid Build Coastguard Worker
51*61c4878aSAndroid Build Coastguard Worker.caret {
52*61c4878aSAndroid Build Coastguard Worker  margin: 3px;
53*61c4878aSAndroid Build Coastguard Worker  font-weight: bold;
54*61c4878aSAndroid Build Coastguard Worker}
55*61c4878aSAndroid Build Coastguard Worker
56*61c4878aSAndroid Build Coastguard Worker.tooltip {
57*61c4878aSAndroid Build Coastguard Worker  position: relative;
58*61c4878aSAndroid Build Coastguard Worker  display: inline-block;
59*61c4878aSAndroid Build Coastguard Worker  font-weight: bold;
60*61c4878aSAndroid Build Coastguard Worker  border-radius: 50%;
61*61c4878aSAndroid Build Coastguard Worker  line-height: 1;
62*61c4878aSAndroid Build Coastguard Worker  background: #131518;
63*61c4878aSAndroid Build Coastguard Worker  cursor: help;
64*61c4878aSAndroid Build Coastguard Worker  padding: 7px 11px;
65*61c4878aSAndroid Build Coastguard Worker  margin-right: 5px;
66*61c4878aSAndroid Build Coastguard Worker}
67*61c4878aSAndroid Build Coastguard Worker
68*61c4878aSAndroid Build Coastguard Worker.tooltip .tooltiptext {
69*61c4878aSAndroid Build Coastguard Worker  visibility: hidden;
70*61c4878aSAndroid Build Coastguard Worker  width: 320px;
71*61c4878aSAndroid Build Coastguard Worker  background-color: black;
72*61c4878aSAndroid Build Coastguard Worker  color: #fff;
73*61c4878aSAndroid Build Coastguard Worker  padding: 10px;
74*61c4878aSAndroid Build Coastguard Worker  line-height: 1.6;
75*61c4878aSAndroid Build Coastguard Worker  border-radius: 6px;
76*61c4878aSAndroid Build Coastguard Worker  font-weight: normal;
77*61c4878aSAndroid Build Coastguard Worker  position: absolute;
78*61c4878aSAndroid Build Coastguard Worker  top: 0;
79*61c4878aSAndroid Build Coastguard Worker  left: 0;
80*61c4878aSAndroid Build Coastguard Worker  transform: translate(-50%, -105%);
81*61c4878aSAndroid Build Coastguard Worker  z-index: 1;
82*61c4878aSAndroid Build Coastguard Worker}
83*61c4878aSAndroid Build Coastguard Worker
84*61c4878aSAndroid Build Coastguard Worker.tooltip:hover .tooltiptext {
85*61c4878aSAndroid Build Coastguard Worker  visibility: visible;
86*61c4878aSAndroid Build Coastguard Worker}
87*61c4878aSAndroid Build Coastguard Worker
88*61c4878aSAndroid Build Coastguard Worker.tooltip .tooltiptext span {
89*61c4878aSAndroid Build Coastguard Worker  background-color: #414141;
90*61c4878aSAndroid Build Coastguard Worker  padding: 3px 8px;
91*61c4878aSAndroid Build Coastguard Worker  border-radius: 6px;
92*61c4878aSAndroid Build Coastguard Worker}
93