/* used in Sc283/part{08,09}.html
.codeheader {font-weight:bold;color:blue;}
div.codeheader {margin-left:-1em;}
SPAN.metavar {font-style:italic;font-weight:bold;color:#cc0000;padding-right:4px;}
*/

h1	{padding-top:1em;padding-bottom:1em;text-align:center;font-size:150%;clear:both;}
h2	{font-size:120%; page-break-after:avoid;clear:both;}
h3,div.footnote h2	{padding-left:1em;font-size:105%;page-break-after:avoid;clear:both;}
h4,h5	{
	padding-left:2em;
	margin-bottom:0.2em;
	font-size:100%;font-weight:normal;text-decoration:underline;
	page-break-after:avoid;
	clear:both;
}

p		{line-height:120%;margin-left:2em;}
p.li	{margin-left:0em;margin-bottom:0.8em;} /* transitional? */
li p	{margin: 0.5em 0em;}
pre		{font-size:100%;}
p.indent	{margin-left:4em;}

blockquote {
	margin-bottom:1em;margin-left:2em;margin-right:1em;
	padding:4px;
	line-height:120%;
	clear:both;
}
blockquote.box	{border:1px solid;}
blockquote h3, blockquote h4, blockquote h5 {padding-left:0em;margin-top:0em;margin-bottom:0.5em;}
blockquote ul, blockquote ol, blockquote dl {margin-left:0em;}
blockquote pre	{margin-top:0em;margin-bottom:0.5em;}

ul, ol, dl {margin-left:1em;}
ol ol,ol ul,ul ul	{margin:0.5em 0em;}
ol ol	{list-style:lower-roman;}
ul.simple {list-style:none;margin-top:0.5em;}
li	{line-height:120%;padding-bottom:0.2em;}
li.red.kome	{list-style-image:url(/images/rkome.gif);}
li.kome	{list-style-image:url(/images/kome.gif);}
dt	{line-height:120%;padding-left:1em;page-break-after:avoid;}
dd	{line-height:120%;}
th	{background-color:#ccccff;}
td pre {margin:0em;}
td div.code {margin:0em;}

code      {font-family:monospace;font-style:normal;font-weight:bold;padding:0px 1px}
.code     {font-family:monospace;font-style:normal;} /* transitional */
span.code {font-weight:bold;}                        /* transitional */
.normal   {font-size:medium;font-weight:normal;}
.small    {font-size:80%;line-height:120%;}
.tt       {font-family:monospace;}
.comment  {color:#008000;}
.meta     {
	font-family:"Times New Roman";
	font-style:italic;
	padding-right:0.1em; /* Is curning needed? */
	color:#CC3300;
	font-weight:normal;
}
.metasym  {font-family:"Times New Roman";color:#CC3300;font-weight:normal;}
.js       {color:#990066;}
.html     {color:#000000;}
.red,.str {color:red;}
.nowrap   {white-space:nowrap;}
.center   {margin:auto;}
del       {color:#999999;}
ins       {text-decoration:none;border-bottom:1px dashed red;}
span.mod  {text-decoration:line-through;color:#999999;} /* transitional */
span.math {font-family:"Times New Roman";font-style:italic;padding-right:2px;padding-left:1px;}
span.formula  {font-family:serif;white-space:nowrap;}   /* font-family:"Times New Roman"; ? */
table.formula {font-family:serif;border-collapse:collapse;}   /* font-family:"Times New Roman"; ? */
table.formula td {vertical-align:middle;}
div.code {
	margin-bottom:1em;margin-left:2em;margin-right:1em;
	padding:4px;border:1px solid;
	line-height:120%;
	clear:both;
	background-color:white;
}
div.code pre {margin:0em;}
div.code a   {text-decoration:none;}
li div.code {margin-left:0em;}
div.NavBar       {text-align:center;} /* for IE */
div.NavBar table {margin-left:auto;margin-right:auto;}
div.NavBar a     {text-decoration:none;color:blue;}
div.center       {text-align:center;margin-left:2em;margin-right:2em;}
div.center p     {margin-left:auto;margin-right:auto;}
div.center table {margin-left:auto;margin-right:auto;}
div.indent	{margin-left:2em;}
div.header	{font-size:90%;text-align:right;}
address {
	font-style:normal;
	font-size:90%;text-align:center;
	padding-top:1.2em;
	margin:0em 5% 1.2em 5%;
	border-top:solid gray 1px;
}
span.footnote {display:none;}
span.fn {font-size:small;}
div.footer {
	font-size:90%;text-align:center;
	padding-top:1.2em;
	margin:0em 0% 1.2em 0%;
	border-top:solid gray 1px;
	clear:both;
}
div.footnote {
	margin:0em 0% 1.2em 0%;
	border-top:solid gray 1px;
	clear:both;
}
div.footnote dl	{font-size:90%;}
div.column {
	margin-bottom:1em;margin-left:2em;margin-right:1em;
	padding:4px;border-style:double;background-color:#ccffff;
}
div.column img {border:solid black 1px;margin:0em 0.5em;}
div.column h3  {padding-left:0em;margin-top:0em;}
div.column p   {margin-left:1em;}

table	{empty-cells:show;}
table.just	{margin-left:2em;}
table.taskinfo	{margin-left:1em;}
table.small             {font-size:80%;}
table.small caption     {font-size:125%;}
table.small table.small {font-size:100%;}
td {vertical-align:top;padding:1px 4px;}
table.middle td {vertical-align:middle;}

a.nul	{text-decoration:none;color:blue;}
em.ul	{font-style:normal;text-decoration:underline;}
em.red	{font-style:normal;color:red;}
em.large	{font-style:normal;font-size:large;}
sup	{vertical-align:30%;}

span.course	{font-size:medium;font-weight:normal;}

hr {
  color:gray; /* 線の色(IE用) */
  background-color:gray; /* 線の色(NN用) */
  border-style:none; height:1px; width:60%;
  clear:both;
}

hr.long { width:90%; }

.newpage	{page-break-before:always;}
/*************************************************************************
div.quote	{padding-left:2em;padding-right:2em}
P.quoted	{line-height:120%;margin-left:4em;}
P.normal	{line-height:120%;margin-left:0em;}
P.dt	{line-height:120%;margin-left:1em;text-decoration:underline;}
P.dd	{line-height:120%;margin-left:1em;}

TR.erased	{background-color:#cccccc;}
	TR.erased TD	{color:#666666;}
TD A	{text-decoration:none;color:blue;}

div.syntax {
	font-family:monospace;
	font-weight:bold;
	margin-bottom:1em;
	padding-left:2em;
	padding-right:2em;
}
div.code	{font-family:monospace;
			 margin-bottom:1em;margin-left:2em;margin-right:1em;
			 padding-top:4px;padding-bottom:4px;padding-left:1em;padding-right:1em;
			 border:1px solid;}

span.meta	{font-style:italic;font-weight:normal;color:#CC3300;padding-right:0.3em;}
span.meta2	{font-weight:normal;color:#CC3300;}
span.meta3	{font-weight:bold;color:#CC3300;}
span.erased	{color:#666666;}
span.mod	{text-decoration:line-through;color:#999999;}

span.code	{font-family:monospace;}
span.syntax	{font-family:monospace;font-weight:bold;}
span.js		{font-family:monospace;color:#990066;}
span.metajs	{font-style:italic;color:#990066;padding-right:0.3em;}
span.comment	{color:#008000;}
span.rem	{color:#c2741f;}
span.math	{font-style:italic;}
span.formula	{font-family:Times New Roman;white-space:nowrap;}
table.formula	{font-family:Times New Roman;border-collapse:collapse;}

span.normal	{font-weight:normal;}

span.button	{
	background-color:silver;
	padding-top:1px;
	padding-bottom:1px;
	padding-left:1px;
	padding-right:1px;
	border:1px solid black;
	white-space:nowrap;
}

strong.red	{color:red;}
*/