.predicate {
	font-style: italic;
}

.bindings {
	margin-left: 25px;	
}

ul {
	margin-top: 0;	
}

li.fact {
	list-style-type: disc;
	padding-left: 2px;
}

li.inf {
	list-style: none;
	background-image: url("../img/left arrow.svg");
	background-repeat: no-repeat;
	background-position: left 2px;
	background-size: 16px;
	position: relative;
	left: -18px;
	padding-left: 20px;
}

/* top-level inferences */ 

body > ul {
	padding-left: 0;
}

body > ul > li.inf {
	background: none;
	left: 0;
	padding-left: 0;
}

/* second, third, .. top-level inference */

body > ul > li:not(:first-child) {
	margin-top: 15px;
}

.source {
	margin-top: 5px;
}

.showHideRule {
	cursor: pointer;
	text-decoration: underline;
}

.ruleInfo {
	display: none;
	width: 85%;
	font-family: Verdana;
	font-size: 12px;
	margin-left: 25px;
	border: 1px dashed grey;
	padding: 5px;
}

.var {
	font-weight: bold;
}