style.css.deco-\" {
border-radius: .2em;
padding: 0 .4em;
background-color: rgba(128,128,128,0.1);
font-size: 95%;
font-style: italic;
}
.line:not(.cursor-line) .deco-\"::before {
color: #a0a0a0;
font-size: 85%;
font-family: 'FontAwesome';
content: '\f10d';
position: relative;
top: -0.5em;
left: -0.2em;
}