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