xref: /freebsd-src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/HTMLLogger.css (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
106c3fb27SDimitry Andric/*===-- HTMLLogger.css ----------------------------------------------------===
206c3fb27SDimitry Andric*
306c3fb27SDimitry Andric* Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
406c3fb27SDimitry Andric* See https://llvm.org/LICENSE.txt for license information.
506c3fb27SDimitry Andric* SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
606c3fb27SDimitry Andric*
706c3fb27SDimitry Andric*===----------------------------------------------------------------------===*/
806c3fb27SDimitry Andrichtml { font-family: sans-serif; }
906c3fb27SDimitry Andricbody { margin: 0; display: flex; justify-content: left; }
1006c3fb27SDimitry Andricbody > * { box-sizing: border-box; }
1106c3fb27SDimitry Andricbody > section {
1206c3fb27SDimitry Andric  border: 1px solid black;
1306c3fb27SDimitry Andric  min-width: 20em;
1406c3fb27SDimitry Andric  overflow: auto;
1506c3fb27SDimitry Andric  max-height: 100vh;
1606c3fb27SDimitry Andric}
1706c3fb27SDimitry Andricsection header {
1806c3fb27SDimitry Andric  background-color: #008;
1906c3fb27SDimitry Andric  color: white;
2006c3fb27SDimitry Andric  font-weight: bold;
2106c3fb27SDimitry Andric  font-size: large;
225f757f3fSDimitry Andric  padding-right: 0.5em;
2306c3fb27SDimitry Andric}
2406c3fb27SDimitry Andricsection h2 {
2506c3fb27SDimitry Andric  font-size: medium;
2606c3fb27SDimitry Andric  margin-bottom: 0.5em;
2706c3fb27SDimitry Andric  padding-top: 0.5em;
2806c3fb27SDimitry Andric  border-top: 1px solid #aaa;
2906c3fb27SDimitry Andric}
3006c3fb27SDimitry Andric#timeline {
315f757f3fSDimitry Andric  min-width: max-content;
32*0fca6ea1SDimitry Andric  counter-reset: entry_counter;
33*0fca6ea1SDimitry Andric}
34*0fca6ea1SDimitry Andric#timeline .entry .counter::before {
35*0fca6ea1SDimitry Andric  counter-increment: entry_counter;
36*0fca6ea1SDimitry Andric  content: counter(entry_counter) ":";
37*0fca6ea1SDimitry Andric}
38*0fca6ea1SDimitry Andric#timeline .entry .counter {
39*0fca6ea1SDimitry Andric  display: inline-block;
40*0fca6ea1SDimitry Andric  min-width: 2em; /* Enough space for two digits and a colon */
41*0fca6ea1SDimitry Andric  text-align: right;
4206c3fb27SDimitry Andric}
4306c3fb27SDimitry Andric#timeline .entry.hover {
4406c3fb27SDimitry Andric  background-color: #aaa;
4506c3fb27SDimitry Andric}
4606c3fb27SDimitry Andric#timeline .entry.iter-select {
4706c3fb27SDimitry Andric  background-color: #aac;
4806c3fb27SDimitry Andric}
4906c3fb27SDimitry Andric
5006c3fb27SDimitry Andric#bb-elements {
5106c3fb27SDimitry Andric  font-family: monospace;
5206c3fb27SDimitry Andric  font-size: x-small;
5306c3fb27SDimitry Andric  border-collapse: collapse;
5406c3fb27SDimitry Andric}
5506c3fb27SDimitry Andric#bb-elements td:nth-child(1) {
5606c3fb27SDimitry Andric  text-align: right;
5706c3fb27SDimitry Andric  width: 4em;
5806c3fb27SDimitry Andric  border-right: 1px solid #008;
5906c3fb27SDimitry Andric  padding: 0.3em 0.5em;
6006c3fb27SDimitry Andric
6106c3fb27SDimitry Andric  font-weight: bold;
6206c3fb27SDimitry Andric  color: #888;
6306c3fb27SDimitry Andric};
6406c3fb27SDimitry Andric#bb-elements tr.hover {
6506c3fb27SDimitry Andric  background-color: #abc;
6606c3fb27SDimitry Andric}
6706c3fb27SDimitry Andric#bb-elements tr.elt-select {
6806c3fb27SDimitry Andric  background-color: #acf;
6906c3fb27SDimitry Andric}
7006c3fb27SDimitry Andric#iterations {
7106c3fb27SDimitry Andric  display: flex;
7206c3fb27SDimitry Andric}
7306c3fb27SDimitry Andric#iterations .chooser {
7406c3fb27SDimitry Andric  flex-grow: 1;
7506c3fb27SDimitry Andric  text-align: center;
765f757f3fSDimitry Andric  padding-left: 0.2em;
775f757f3fSDimitry Andric}
785f757f3fSDimitry Andric#iterations .chooser :last-child {
795f757f3fSDimitry Andric  padding-right: 0.2em;
8006c3fb27SDimitry Andric}
8106c3fb27SDimitry Andric#iterations .chooser:not(.iter-select).hover {
825f757f3fSDimitry Andric  background-color: #ddd;
8306c3fb27SDimitry Andric}
8406c3fb27SDimitry Andric#iterations .iter-select {
8506c3fb27SDimitry Andric  font-weight: bold;
8606c3fb27SDimitry Andric}
8706c3fb27SDimitry Andric#iterations .chooser:not(.iter-select) {
8806c3fb27SDimitry Andric  text-decoration: underline;
8906c3fb27SDimitry Andric  color: blue;
905f757f3fSDimitry Andric  cursor: pointer;
915f757f3fSDimitry Andric  background-color: #ccc;
9206c3fb27SDimitry Andric}
9306c3fb27SDimitry Andric
9406c3fb27SDimitry Andriccode.filename {
9506c3fb27SDimitry Andric  font-weight: bold;
9606c3fb27SDimitry Andric  color: black;
9706c3fb27SDimitry Andric  background-color: #ccc;
9806c3fb27SDimitry Andric  display: block;
9906c3fb27SDimitry Andric  text-align: center;
10006c3fb27SDimitry Andric}
10106c3fb27SDimitry Andriccode.line {
10206c3fb27SDimitry Andric  display: block;
10306c3fb27SDimitry Andric  white-space: pre;
10406c3fb27SDimitry Andric}
10506c3fb27SDimitry Andriccode.line:before { /* line numbers */
10606c3fb27SDimitry Andric  content: attr(data-line);
10706c3fb27SDimitry Andric  display: inline-block;
10806c3fb27SDimitry Andric  width: 2em;
10906c3fb27SDimitry Andric  text-align: right;
11006c3fb27SDimitry Andric  padding-right: 2px;
11106c3fb27SDimitry Andric  background-color: #ccc;
11206c3fb27SDimitry Andric  border-right: 1px solid #888;
11306c3fb27SDimitry Andric  margin-right: 8px;
11406c3fb27SDimitry Andric}
11506c3fb27SDimitry Andriccode.line:has(.bb-select):before {
11606c3fb27SDimitry Andric  border-right: 4px solid black;
11706c3fb27SDimitry Andric  margin-right: 5px;
11806c3fb27SDimitry Andric}
11906c3fb27SDimitry Andric.c.hover, .bb.hover {
12006c3fb27SDimitry Andric  filter: saturate(200%) brightness(90%);
12106c3fb27SDimitry Andric}
12206c3fb27SDimitry Andric.c.elt-select {
12306c3fb27SDimitry Andric  box-shadow: inset 0 -4px 2px -2px #a00;
12406c3fb27SDimitry Andric}
12506c3fb27SDimitry Andric.bb.bb-select polygon {
12606c3fb27SDimitry Andric  stroke-width: 4px;
12706c3fb27SDimitry Andric  filter: brightness(70%) saturate(150%);
12806c3fb27SDimitry Andric}
12906c3fb27SDimitry Andric.bb { user-select: none; }
13006c3fb27SDimitry Andric.bb polygon { fill: white; }
13106c3fb27SDimitry Andric#cfg {
13206c3fb27SDimitry Andric  position: relative;
13306c3fb27SDimitry Andric  margin-left: 0.5em;
13406c3fb27SDimitry Andric}
13506c3fb27SDimitry Andric
13606c3fb27SDimitry Andric.value {
13706c3fb27SDimitry Andric  border: 1px solid #888;
13806c3fb27SDimitry Andric  font-size: x-small;
13906c3fb27SDimitry Andric  flex-grow: 1;
14006c3fb27SDimitry Andric}
1415f757f3fSDimitry Andric.value > summary {
14206c3fb27SDimitry Andric  background-color: #ace;
14306c3fb27SDimitry Andric  display: flex;
1445f757f3fSDimitry Andric  cursor: pointer;
1455f757f3fSDimitry Andric}
1465f757f3fSDimitry Andric.value > summary::before {
1475f757f3fSDimitry Andric  content: '\25ba';  /* Black Right-Pointing Pointer */
1485f757f3fSDimitry Andric  margin-right: 0.5em;
1495f757f3fSDimitry Andric  font-size: 0.9em;
1505f757f3fSDimitry Andric}
1515f757f3fSDimitry Andric.value[open] > summary::before {
1525f757f3fSDimitry Andric  content: '\25bc';  /* Black Down-Pointing Triangle */
1535f757f3fSDimitry Andric}
1545f757f3fSDimitry Andric.value > summary > .location {
1555f757f3fSDimitry Andric  margin-left: auto;
15606c3fb27SDimitry Andric}
15706c3fb27SDimitry Andric.value .address {
15806c3fb27SDimitry Andric  font-size: xx-small;
15906c3fb27SDimitry Andric  font-family: monospace;
16006c3fb27SDimitry Andric  color: #888;
16106c3fb27SDimitry Andric}
16206c3fb27SDimitry Andric.value .property {
16306c3fb27SDimitry Andric  display: flex;
16406c3fb27SDimitry Andric  margin-top: 0.5em;
16506c3fb27SDimitry Andric}
16606c3fb27SDimitry Andric.value .property .key {
16706c3fb27SDimitry Andric  font-weight: bold;
16806c3fb27SDimitry Andric  min-width: 5em;
16906c3fb27SDimitry Andric}
170