# Last Modified $Date: 2011-05-25 01:11:04 +0900 (Wed, 25 May 2011) $

A { color:blue; text-decoration:none}
A.hotspot {color:red }
A.nohotspot {color:black}

CAPTION { font-size:large }

H1 { color:black; text-align:center}

SPAN.definition { color:black; font-weight:bold; margin-left:10px }
SPAN.definitioncenter {	font-weight:bold; text-align:center;
			 margin-left:10px; margin-right:10px }
SPAN.emphasis {  font-weight:bold; color:navy; font-size:110% }
SPAN.red { color:red }
SPAN.green { color:green }
SPAN.blue  { color:blue }
SPAN.goldenrod { color:goldenrod }
SPAN.example { color:white; background-color:darkblue }
SPAN.large {font-size:150%}
SPAN.Large {font-size:300%}

DIV.center { text-align: center }
DIV.centerstrong { text-align: center; color: purple; font-size:200% }
DIV.definition { font-weight:bold; margin-left:10%; margin-right:10% }
DIV.definitioncenter {	font-weight:bold; text-align:center;
			 margin-left:10px; margin-right:10px }
DIV.emphasis {  font-weight:bold; color:navy; font-size:110% }
DIV.example { margin-left:30px; color:white; background-color:darkblue }
DIV.proof { font-weight:normal; margin-left:10%; margin-right:10%;
	    color:dimgray }

DL.comment {margin-left:40px; margin-right:40px}

EM.singlequoted { font-weight:bold; color:navy }
EM.doublequoted { font-weight:bold; color:firebrick }

HR.middlehalf { width:50%; align:center }

IMG.top { align:top }
IMG.center { align:center }
IMG.bottom { align:bottom }

P.comment {margin-left:40px; margin-right:40px}
P.centered {text-align:center}

PRE.example { margin-left:30px; color:black; background-color:dimblue }

TABLE.center { align:center }