body {  padding-top: 0px; margin-top: 0px; font-size: 12px; padding-bottom: 0px; padding-left: 0px; padding-right: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px}
.large {  font-size: 18px; color: #000099; font-weight: bold}
a:link {  text-decoration: none}
.w {  color: #FFFFFF}
.line {  font-size: 14px; line-height: 140%}
a:hover {  background-color: #FFECFF; color: #000000}
.small {  font-size: 14px}
a:visited {  text-decoration: none}
.aiback {  background-image: url(pic/aiback.jpg); background-repeat: no-repeat; background-position: right bottom}
.taback {  background-image:  url(pic/sbg.jpg); background-repeat: no-repeat; background-position: center center}
.indent {  margin-left: 3ex}
.indent2 {  margin-right: 3ex}
.indent3 { margin-left: 5ex}
.titleback {  background-image: url(http://www.adm.s.u-tokyo.ac.jp/~mary/denchu/pic/tilteback.gif); background-repeat: no-repeat; background-position: right}
.indent4 { margin-left: 7ex}
.r { color: #FF0000}
.xlarge {
font-size: 24px; color: #990000; font-weight: bold
}
.largeb {
	font-size: 18px;
	font-weight: bold;
	background-color: #FFFFCC;
	width: 650px;


}
.f24 {
	font-size: 24px;
}
.f36 {
	font-size: 36px;
}
.f16 {
	font-size: 16px;
}