@import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro&display=swap');

body { 
	font-family: 'Source Code Pro'; 
	background: white;
}

table {
	empty-cells:show;
	border-collapse: collapse;
}

td {
	min-width: 1em;
}

.redborder { 
	border: 4px double red; 
}

h1 {
	background-color: lightyellow;
	border-top:    2px solid black;
	border-bottom: 2px solid black;
}

h2 {
	background-color: lightblue;
	border-top:    2px solid black;
	border-bottom: 2px solid black;
}

span.key { 
	border: 2px solid yellow;
	border-radius: 5px;
}
	

.left {
	border-left: 4px solid blue;
	margin-left: 10px;
	background-color: lightgrey;
}

#back {
	font-size: 20px;
}

pre { 
	font-size: 14px;
}

.note {	
	border-bottom:    2px double bisque;
	background-color: snow;
	font-family:      Mono;
	margin-left:      8px;	
	padding-left:     4px;
	padding-right:    4px;	
}