/* The space between lines of the notes and the help. */
SPAN {
	line-height: 120%;
}

/* The border of the figures on the menu. */
TABLE.figure {
	border-width: thin;
	border-style: inset;
}