body {

margin: 0;
font-size: 18px;
background-color: #FBF3E9;

}

code {

white-space: nowrap;

}

lines {

position: relative;
float: left;
padding: 0 0.75em 0 0.5em;
text-align: right;
font-weight: bold;
color: rgba(0, 0, 0, 0.125);
letter-spacing: -0.125em;
transition: color 150ms ease-in-out;
cursor:  default;

}

lines:hover, lines a:target {

color: rgba(0, 0, 0, 0.75);

}

lines a {

color: inherit;
text-decoration: none;
display: block;

}

lines a:hover::after, lines a:target::after {

content: '';
position: absolute;
left: 0;
width: 100vw;
background-color: #00BFFF;
height: 1.6em;
opacity: 0.25;

}

lines a:hover::after {

background-color: #BDB76B;

}

pre {

font-family: 'Cutive Mono', monospace;
display: inline;
margin: 0;
padding: 0;
line-height: 1.65em;

}

pre > span {

position: relative;
z-index: 1;
color: #333;

}

.covered {

color: #AEE6B0;

}

.not-covered {

color: #F79B95;

}

.covered, .not-covered {

background-color: currentColor;
text-shadow: 0 0 0.25em #FFF;
font-weight: bold;
padding: 0.25em 0;

}

.ignored {

color: #888;

}