.min {
	font-size: 70%;
}

.small {
	font-size: 80%;
}

.large {
	font-size: 120%;
}

.max {
	font-size: 140%;
}

h3.title {
	padding-bottom: 3px;
	border-bottom: 1px solid #cccccc;
}

p.supplement {
	padding: 12px;
	border: 1px solid #ddddcc;
	color: #cc0000;
	background-color: #f6f6f6;
}

ul.catalogue {
	margin: 0;
	padding: 0;
}

ul.catalogue li {
	list-style-type: none;
}