.head
{
	height:33px;
	padding:10px 0px 0px 10px;
	margin-bottom:28pt;
}
.main
{
	padding-bottom:20pt;
}
ul
{
	margin-top:4pt;
	margin-bottom:4pt;
}
table.logical
{
	margin:5pt;
	border-spacing:0px;
	border-collapse:collapse;
}
table.logical tr td
{
	border-style:solid;
	border-color:#666;
	margin:0px;
	padding:3pt 4pt 2pt 4pt;
}
table.logical tr td.mark
{
	text-align:center;
	border-right-style:none;
}
table.logical tr td.after_mark
{
	border-left-style:none;	
}
thead td
{
	border-width:1px 1px 2px 1px;
}
tbody td
{
	border-width:1px;	
}
.contents a
{
	text-decoration:none;
}
.keyboard
{
	font-weight:bold;
	color:#CA7900;
	white-space:nowrap;
}
.input
{
	font-style:italic;
	font-weight:bold;
}
.cmd
{
	font-weight:bold;
}