@charset "UTF-8";

#maincol h4 {
	font-size: 120%;
}


#maincol .trouble li {
	margin-bottom: 0.8em;
}

#maincol .annotate {
	margin: 1em 0;
	border: solid 1px #ccc;
	text-align: center;
}

#maincol .title {
	font-weight: bold;
}

#maincol .log {
	margin: 1em 0;
	padding: 0.5em 1em;
	background-color: #dfe9f7;
}

#maincol .legend {
	margin: 1em 0;
	padding: 0.5em 1em;
	background-color: #f7d7b4;
}

#maincol .example {
	margin: 0.5em 0;
	overflow: hidden;
	/zoom: 1;
}

#maincol .example div {
	float: left;
	margin: 0 0.8em;
}

#maincol .example .kara {
	padding-top: 1em;
}

#maincol .example .before,
#maincol .example .after {
	border: solid 1px #ccc;
	padding: 0.5em;
	margin: 0;
}

#maincol .block {
	margin: 1em 0;
	padding: 5px 10px;
	border: solid 1px #ddd;
}

#maincol .block .block {
	border-style: dashed;
}