.navi {
	text-align:	center;
	margin-top:	0.5em;
	margin-bottom:	0.5em;
}

em {
 font-weight: bold;
 color: red;
}

pre.src {
 background-color: #dddddd;
 color: black;
}

pre.command {
 background-color: #bbbbbb;
 color: black;
}

img.screenshot {
 float: left;
}