Android Build Tools

Android/android-ndk-r27d/simpleperf/purgatorio/templates/styles.css

@@ -0,0 +1,133 @@
+/*
+ * Copyright (C) 2021 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.
+ */
+
+body {
+  font-family: sans-serif;
+}
+
+::-webkit-scrollbar {
+  width: 1em;
+}
+
+::-webkit-scrollbar-track {
+  box-shadow: inset 0 0 0.1em white;
+  border-radius: 0.5em;
+}
+
+::-webkit-scrollbar-thumb {
+  background: lightgrey;
+  border-radius: 0.5em;
+}
+
+div.left {
+  position:fixed;
+  top: 0;
+  left: 0;
+  width: 70%;
+  height: 100%;
+}
+
+div.top_right {
+  position: fixed;
+  top: 0;
+  right: 0;
+  text-align: right;
+  width: 30%;
+  height: 1em;
+}
+
+div.middle_right {
+  position:fixed;
+  top: 2%;
+  right: 0;
+  width: 30%;
+  height: 78%;
+  overflow-y: scroll;
+}
+
+div.bottom_right {
+  position: fixed;
+  width: 30%;
+  height: 20%;
+  bottom: 0;
+  right: 0;
+}
+
+button {
+  border: none;
+  outline: none;
+  padding: 0;
+  background: white;
+  font-size: 0.5em;
+}
+
+button.help:before
+{
+  content: '?';
+  display: inline-block;
+  font-weight: bold;
+  text-align: center;
+  font-size: 1.4em;
+  width: 1.5em;
+  height: 1.5em;
+  line-height: 1.6em;
+  border-radius: 1.2em;
+  margin-right: 0.3em;
+  color: GoldenRod;
+  background: white;
+  border: 0.1em solid GoldenRod;
+}
+
+button.help:hover:before
+{
+  color: white;
+  background: GoldenRod;
+}
+
+.dialog {
+  display: none;
+  position: fixed;
+  z-index: 1;
+  left: 0;
+  top: 0;
+  width: 100%;
+  height: 100%;
+  overflow: auto;
+  background-color: rgba(0,0,0,0.4);
+}
+
+.dialog_area {
+  background-color: white;
+  margin: 20% auto;
+  border: 0.05em solid gray;
+  border-radius: 0.5em;
+  padding-left: 0.5em;
+  padding-right: 0.5em;
+  width: 50%;
+}
+
+.dialog_close {
+  color: darkgray;
+  float: right;
+  font-size: 2em;
+  font-weight: bold;
+}
+
+.dialog_close:focus,
+.dialog_close:hover {
+  cursor: pointer;
+  color: black;
+}