/* extras.css 
   repeated sub-page overrides and additional styles
*/
ol {
	margin-left: 2em;
}
ul {
	margin-left: 1em;
}
ol + p, ul + p, dl + p {
	margin-top: 12px;
}
dd + dd, ol + dd, ul + dd {
	padding-top: 8px;
}
dl > ol, dl > ul {
	margin-left: 0;
	border-left: 2px solid red;
	border-color: var(--rred);
	padding-left: 36px;
}
article a {
	display: inline !important;
}