@charset "Shift_JIS";

.fontStd
{
	font-family: '‚l‚r ƒSƒVƒbƒN', 'Osaka';
}

body.std
{
	background-color: #ffffff;

	line-height: 140%;
}

table.std
{
	border-collapse: collapse;
}

table.std tr td
{
	vertical-align: top;
	text-align: left;

	border-collapse: collapse;
}

table.std tr.exp td
{
	vertical-align: top;
	text-align: left;

	background-color: #c0f0f0;
}

.exp1 { color: red; }
.exp2 { color: #8000ff; }

.kw      { color: blue;    }
.comment { color: green;   }
.string  { color: red;     }
.number  { color: #ff00ff; }

.indent
{
	margin-left: 64px;
}