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