div.task, div.list {
	max-width: 600px;
}

h4 {
	margin-bottom: 0.5em;
}

pre {
	margin-left: 10px;
}
pre.req {
	border: 1px solid darkmagenta;
}
pre.resp {
	border: 1px solid darkgreen;
}

a.disabled {
	color: lightgray;
}

a#toList {
	font-size: smaller;
}

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