clang/lib/Analysis/FlowSensitive/HTMLLogger.css

   1 /*===-- HTMLLogger.css ----------------------------------------------------===
   2 *
   3 * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 * See https://llvm.org/LICENSE.txt for license information.
   5 * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 *
   7 *===----------------------------------------------------------------------===*/
   8 html { font-family: sans-serif; }
   9 body { margin: 0; display: flex; justify-content: left; }
  10 body > * { box-sizing: border-box; }
  11 body > section {
  12   border: 1px solid black;
  13   min-width: 20em;
  14   overflow: auto;
  15   max-height: 100vh;
  16 }
  17 section header {
  18   background-color: #008;
  19   color: white;
  20   font-weight: bold;
  21   font-size: large;
  22   padding-right: 0.5em;
  23 }
  24 section h2 {
  25   font-size: medium;
  26   margin-bottom: 0.5em;
  27   padding-top: 0.5em;
  28   border-top: 1px solid #aaa;
  29 }
  30 #timeline {
  31   min-width: max-content;
  32   counter-reset: entry_counter;
  33 }
  34 #timeline .entry .counter::before {
  35   counter-increment: entry_counter;
  36   content: counter(entry_counter) ":";
  37 }
  38 #timeline .entry .counter {
  39   display: inline-block;
  40   min-width: 2em; /* Enough space for two digits and a colon */
  41   text-align: right;
  42 }
  43 #timeline .entry.hover {
  44   background-color: #aaa;
  45 }
  46 #timeline .entry.iter-select {
  47   background-color: #aac;
  48 }
  49
  50 #bb-elements {
  51   font-family: monospace;
  52   font-size: x-small;
  53   border-collapse: collapse;
  54 }
  55 #bb-elements td:nth-child(1) {
  56   text-align: right;
  57   width: 4em;
  58   border-right: 1px solid #008;
  59   padding: 0.3em 0.5em;
  60
  61   font-weight: bold;
  62   color: #888;
  63 };
  64 #bb-elements tr.hover {
  65   background-color: #abc;
  66 }
  67 #bb-elements tr.elt-select {
  68   background-color: #acf;
  69 }
  70 #iterations {
  71   display: flex;
  72 }
  73 #iterations .chooser {
  74   flex-grow: 1;
  75   text-align: center;
  76   padding-left: 0.2em;
  77 }
  78 #iterations .chooser :last-child {
  79   padding-right: 0.2em;
  80 }
  81 #iterations .chooser:not(.iter-select).hover {
  82   background-color: #ddd;
  83 }
  84 #iterations .iter-select {
  85   font-weight: bold;
  86 }
  87 #iterations .chooser:not(.iter-select) {
  88   text-decoration: underline;
  89   color: blue;
  90   cursor: pointer;
  91   background-color: #ccc;
  92 }
  93
  94 code.filename {
  95   font-weight: bold;
  96   color: black;
  97   background-color: #ccc;
  98   display: block;
  99   text-align: center;
 100 }
 101 code.line {
 102   display: block;
 103   white-space: pre;
 104 }
 105 code.line:before { /* line numbers */
 106   content: attr(data-line);
 107   display: inline-block;
 108   width: 2em;
 109   text-align: right;
 110   padding-right: 2px;
 111   background-color: #ccc;
 112   border-right: 1px solid #888;
 113   margin-right: 8px;
 114 }
 115 code.line:has(.bb-select):before {
 116   border-right: 4px solid black;
 117   margin-right: 5px;
 118 }
 119 .c.hover, .bb.hover {
 120   filter: saturate(200%) brightness(90%);
 121 }
 122 .c.elt-select {
 123   box-shadow: inset 0 -4px 2px -2px #a00;
 124 }
 125 .bb.bb-select polygon {
 126   stroke-width: 4px;
 127   filter: brightness(70%) saturate(150%);
 128 }
 129 .bb { user-select: none; }
 130 .bb polygon { fill: white; }
 131 #cfg {
 132   position: relative;
 133   margin-left: 0.5em;
 134 }
 135
 136 .value {
 137   border: 1px solid #888;
 138   font-size: x-small;
 139   flex-grow: 1;
 140 }
 141 .value > summary {
 142   background-color: #ace;
 143   display: flex;
 144   cursor: pointer;
 145 }
 146 .value > summary::before {
 147   content: '\25ba';  /* Black Right-Pointing Pointer */
 148   margin-right: 0.5em;
 149   font-size: 0.9em;
 150 }
 151 .value[open] > summary::before {
 152   content: '\25bc';  /* Black Down-Pointing Triangle */
 153 }
 154 .value > summary > .location {
 155   margin-left: auto;
 156 }
 157 .value .address {
 158   font-size: xx-small;
 159   font-family: monospace;
 160   color: #888;
 161 }
 162 .value .property {
 163   display: flex;
 164   margin-top: 0.5em;
 165 }
 166 .value .property .key {
 167   font-weight: bold;
 168   min-width: 5em;
 169 }