li { margin-bottom: 1em; }
li.close { margin-bottom: 0.1em; }

span.general {
  background: darkblue;
  color: white;
  padding-left:3px;
  padding-right:3px;
  margin-left: 1em;
  font-weight: bold;
}
span.impl {
  background: darkgreen;
  color: white;
  padding-left:3px;
  padding-right:3px;
  margin-left: 1em;
  font-weight: bold;
}
span.alg {
  background: darkred;
  color: white;
  padding-left:3px;
  padding-right:3px;
  margin-left: 1em;
  font-weight: bold;
}
span.red {
	color: red;
}
span.blue {
	color: blue;
}

ol.alpha {
	list-style-type: lower-alpha;
}

pre.term {
	padding: 1ex;
	background-color: lightgrey;
}
pre.file {
	margin-left:2em;
	margin-right:10em;
	background-color: #ccffcc;
	padding: 1ex;
}

span.marked {
	background: pink;
}