body {
	background-image: url(./backgrounds/dotted.gif);
	background-repeat: repeat;
	background-attachment: scroll;
}

.bibliography_definition li a.machine_name {
	font-size: 12px;
	display: inline;
}

.bibliography_definition a.machine_name {
	line-height: 0px !important;
}