1/*
2 * Copyright (C) 2021 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 *      http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17body {
18  font-family: sans-serif;
19}
20
21::-webkit-scrollbar {
22  width: 1em;
23}
24
25::-webkit-scrollbar-track {
26  box-shadow: inset 0 0 0.1em white;
27  border-radius: 0.5em;
28}
29
30::-webkit-scrollbar-thumb {
31  background: lightgrey;
32  border-radius: 0.5em;
33}
34
35div.left {
36  position:fixed;
37  top: 0;
38  left: 0;
39  width: 70%;
40  height: 100%;
41}
42
43div.top_right {
44  position: fixed;
45  top: 0;
46  right: 0;
47  text-align: right;
48  width: 30%;
49  height: 1em;
50}
51
52div.middle_right {
53  position:fixed;
54  top: 2%;
55  right: 0;
56  width: 30%;
57  height: 78%;
58  overflow-y: scroll;
59}
60
61div.bottom_right {
62  position: fixed;
63  width: 30%;
64  height: 20%;
65  bottom: 0;
66  right: 0;
67}
68
69button {
70  border: none;
71  outline: none;
72  padding: 0;
73  background: white;
74  font-size: 0.5em;
75}
76
77button.help:before
78{
79  content: '?';
80  display: inline-block;
81  font-weight: bold;
82  text-align: center;
83  font-size: 1.4em;
84  width: 1.5em;
85  height: 1.5em;
86  line-height: 1.6em;
87  border-radius: 1.2em;
88  margin-right: 0.3em;
89  color: GoldenRod;
90  background: white;
91  border: 0.1em solid GoldenRod;
92}
93
94button.help:hover:before
95{
96  color: white;
97  background: GoldenRod;
98}
99
100.dialog {
101  display: none;
102  position: fixed;
103  z-index: 1;
104  left: 0;
105  top: 0;
106  width: 100%;
107  height: 100%;
108  overflow: auto;
109  background-color: rgba(0,0,0,0.4);
110}
111
112.dialog_area {
113  background-color: white;
114  margin: 20% auto;
115  border: 0.05em solid gray;
116  border-radius: 0.5em;
117  padding-left: 0.5em;
118  padding-right: 0.5em;
119  width: 50%;
120}
121
122.dialog_close {
123  color: darkgray;
124  float: right;
125  font-size: 2em;
126  font-weight: bold;
127}
128
129.dialog_close:focus,
130.dialog_close:hover {
131  cursor: pointer;
132  color: black;
133}
134