body {
	font-family: Arial, Helvetica, sans-serif;
}

.term,.file {
	background: #EFEFEF;
	color: gray;
	padding: 5px;
	border: 1px solid #808080;
}

.term,.file a {
	color: gray;
}

.term,.file a:hover {
	color: black;
}

.pkg,.path {
	font-family: monospace;
	background: #EFEFEF;
}