/*
	stylesheet
 */
.italic {
	font-style: italic;
}

.strikeout {
	font-style: line-through;
}

.underline {
	font-style: underline;
}

/*
h1 {
	border-style: none none solid solid;
	border-left-width: thick;
	border-bottom-width: medium;
	border-color: blue;
}

h2 {
	border-style: none none solid solid;
	border-left-width: medium;
	border-bottom-width: thin;
	border-color: blue;
}

h3 {
	border-style: none none solid solid;
	border-left-width: thin;
	border-bottom-width: thin;
	border-color: blue;
}
*/

div.base {
	background-color: #efefef;
}

div.headline {
	margin-top: 1em;
	margin-left: 2em;
}

div.text {
	margin-left: 3em;
}
span.comment {
	font-size: 70%;
}