body {
	font-size: 9.5pt;
	line-height: 150%;
}

/* Hide elements that are not useful on paper */

.skip, #menu {
	display: none;
}

/* style the logo */

#logo {
	margin-bottom: 1cm;
}

#logo img {
}

/* #content */

#content {
}

a {
	text-decoration: none;
	color: black; /* same as body color */
}