.box
{
	padding: 5px;
	margin: 2px;
	border: 2px solid #C0C0FF;
	background: #E8E8FF;
}

h1
{
	margin: 0px;
}

p
{
	margin-top: 0px;
	margin-bottom: 0px;
}

p + p
{
	margin-top: 1ex;
}

pre
{
	margin-top: 1ex;
	margin-bottom: 1ex;
}

ul, ol
{
	margin-top: 0px;
	margin-bottom: 0px;
	padding-left: 3ex;
}

.popup_anchor
{
	border: 1px dotted #FFC0C0;
	background: #F8F8FF;
}

.popup
{
	display: none;
}

.visible_popup
{
	font-size: small;
	position: absolute;
	width: 20%;
	top: 0px;
	left: 0px;
	z-index: 1;
	padding: 5px;
	padding-top: 0px;
	border: 2px solid #A0A0FF;
	border-top: 7px solid #8080FF;
	margin: 0px;
	background: #FFFFFF;
	opacity: .9;
}

.section
{
	padding-left: 1em;
}

.section + .section
{
	margin-top: 1em;
}

.section > span
{
	margin-left: -1em;
	padding-right: 3em;
	border-bottom: 1px solid;
	font-weight: bold;
	display: inline-block;
	margin-bottom: 1ex;
}

.note
{
	padding-left: 1em;
	font-size: small;
}