/*
 * $Id$
 */

body
{
	line-height: 150%;
}

.note
{
	color: yellow;
}

.right
{
	text-align: right;
}

/*
.collapsed
{
	display: none;
	visibility: hidden;
}

.expanded
{
	display: block;
	visibility: visible;
}

.highlighted
{
	background-color: silver;
}

.unhighlighted
{
	background-color: white;
}
*/