@charset "UTF-8";
body {
	background-color: #FFFFFF;
	background-image : url("other_bg.gif");
	background-repeat: repeat-y;
	margin-left:80px;
	margin-right:20px;
}
a:link{
	color:blue;
}
a:visited{
	color:navy;
}
h1{
	text-align:center;
	color:orange;
	margin-bottom:0px;
}
h2{
	color:orange;
	font-size:1.2em;
	margin-top:25px;
	margin-bottom:-10px;
}
h3{
	color:green;
	font-size:1em;
	margin-top:25px;
	font-weight:bold;
}
ul{
	margin-top:0px;
	margin-left:40px;
}
ol{
	margin-top:0px;
	margin-left:40px;
}
p.summary{
	background-color: #CCFFCC;
	margin-top:10px;
	margin-bottom:0px;
	margin-left:20px;
}
p.back{
	text-align:center;
}
hr{
	margin:2em 0px 2em 0px;
}
p.langsel{
	position:absolute;
	top:10px; left:80px;
}