4 <title>spanview_block.main.mir_map.0</title>
7 counter-increment: line;
10 content: counter(line) ": ";
11 font-family: Menlo, Monaco, monospace;
14 display: inline-block;
17 -webkit-user-select: none;
21 background-color: #222222;
22 font-family: Menlo, Monaco, monospace;
24 border-bottom: 2px solid #222222;
26 display: inline-block;
29 background-color: #55bbff;
33 background-color: #ee7756;
37 --index: calc(var(--layer) - 1);
38 padding-top: calc(var(--index) * 0.15em);
40 hue-rotate(calc(var(--index) * 25deg))
41 saturate(calc(100% - (var(--index) * 2%)))
42 brightness(calc(100% - (var(--index) * 1.5%)));
46 font-family: monospace;
49 -webkit-user-select: none;
51 body:active .annotation {
52 /* requires holding mouse down anywhere on the page */
53 display: inline-block;
55 span:hover .annotation {
56 /* requires hover over a span ONLY on its first line */
57 display: inline-block;
62 <div class="code" style="counter-reset: line 4"><span class="line"><span class="code" style="--layer: 0">fn main() </span><span><span class="code even" style="--layer: 1" title="0: $DIR/spanview-block.rs:5:11: 5:13:
63 5:11-5:13: Assign: _0 = const ()
64 5:13-5:13: Return: return"><span class="annotation">0⦊</span>{}<span class="annotation">⦉0</span></span></span></span></div>