.hilited, ins, del {
	padding-left: 0.1em;
	padding-right: 0.1em;
}

.hilited {
	color: #123456;
	background-color: #f2f216;
}



ins {
	background: #c8fcc8;
	color: #16a616;
	text-decoration: none;
	border-bottom: 1px dotted #16a616;
}



del {
	background: #fcc8c8;
	color: #a61616;
	text-decoration: line-through;
}



.category {
	padding-top: 3px;
	margin-bottom: 0.4em;
	border-top: 2px dotted #dee7ec;
	text-align: right;
}


.commentform {
	margin-left: 2em;
	margin-right: 2em;
}