@import url("sphinxdoc.css");

dt {
	margin-top: 0px;
	margin-bottom: 0px;
	font-weight: bold;
	font-size: 0.9em;
}

dd {
	margin-top: 0px;
	margin-bottom: 0px;
	font-size: 0.9em;
}

div.highlight {
    margin-left: 20px;
}

div.note {
    margin-left: 20px;
}