html
{
	margin: 0px;
	padding: 0px;
	border: 0px;
}

body
{
	background-color: #99ccff;
}

a:link
{
	color: #800000;
}

a:visited
{
	color: #000080;
}

a:active
{
	color: #FFFFFF;
}

h1
{
	font-size: 160%;
	text-align: center;
	color: #ffffff;
	font-weight: bold;
	margin: 0px;
	padding: 10px;
	background: #000080
}

span.path
{
	font-size: 90%;
	text-align: left;
	color: #404040;
	padding: 4px
}

div.body
{
	border-style: solid;
	border-width: 1px;
	border-color: #000000;
	margin: 1em 10%;
	padding: 4px;
	background: #dcdcdc
}

h3
{
	font-size: 100%;
	text-align: center;
	color: #000000;
	font-weight: bold;
	margin: 0px;
	padding: 8px;
	background: #ccffcc
}

p.list
{
	padding: 8px;
	background: #efefef;
	margin: 0px;
	line-height: 120%
}

div.list
{
	border-style: solid;
	border-width: 0px 1px 0px 1px;
	border-color: #000000;
	margin: 0% 10%;
	padding: 8px;
	background: #dcdcdc;
	text-align: center;
}

div.admin
{
	font-size: 100%;
	text-align: center;
	color: #FFFFFF;
	background-color: #008080;
	margin: 0%;
	padding: 4px;
}

div.lastModified
{
	font-size: 80%;
	text-align: right;
}

div.title
{
	border-style: solid;
	border-width: 1px 0px 1px 0px;
	border-color: #000000;
	margin: 0% 10%;
	padding: 8px;
	background: #dcdcdc;
	text-align: center;
	font-weight: bold;
}

/* 表などのキャプション */
div.caption
{
	text-align: center;
	margin: 4px;
}

/* 命令セット */
span.instruction
{
	font-size: 160%;
	font-weight: bold;
}

table
{
	width: 64%;
	border-collapse: collapse
}

/* テーブル要素のベース */
td, th
{
	border-style: solid;
	border-width: 1px;
	border-color: #000000;
	padding: 2px;
}

/* */
th.vec
{
	background: #ffd700;
	text-align: center
}

td.on
{
	background: #fffacd;
	text-align: center
}

td.off
{
	background: #666452;
	text-align: center
}

td.arg1
{
	background: #ccffff;
	text-align: center
}

td.arg2
{
	background: #ffccff;
	text-align: center
}

td.back
{
	background: #e6e6fa;
	text-align: center
}

td.arrow
{
	border-width: 0px;
	text-align: center;
}