1
2
3

.deco-\. {
	font-size: 60% !important;
}

1
2
3
4
5

 .deco-\~ {
   color: #fff;
   background-color: #1976d2;
   padding: 0.1em 0.2em 0.1em 0.2em;
 }

1
2
3

.deco-\+ {
  background: linear-gradient(transparent 60%, rgb(255 247 57 / 45%) 40%);
} 

1
2
3

.deco-\( {
  opacity: 0.5;
} 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18

.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'; */
  	font-family: 'Font Awesome 5 Free';
  	font-weight: 900;
  	content: '\f10d';
    position: relative;
    top: -0.5em;
    left: -0.2em;
}