.right{
	text-align: right;
}
.center{
	text-align: center;
}
body{
	background-color: #eeeeee;
}
div.index{
	background-color: #ddddee;
	color: #000080;
	padding-right: 2%;
	padding-left: 2%;
	padding-top: 5px;
	padding-bottom: 5px;
	margin: 2%;
        border-style: none;
        border-color: #ffffff;
        border-width: 1px 1px 1px 1px ;
}
div.menu{
	background-color: #ffffff;
	color: #000000;
	border-style: none;
	border-width: 1px 1px 1px 1px;
	width: 100%;
}

div.main{
}

div.title{
	background-color: #33CC33;
	color: #ffffff;
	border-style: none;
	border-width: 1px 1px 1px 1px;
	width: 100%;
	padding-top: 8px;
}

div.contents{	
	background-color: #ddeedd;
	margin: 2%;
	padding-right: 2%;
	padding-left: 2%;
	padding-top: 5px;
	padding-bottom: 5px;
        border-style: none;
        border-color: #ddddee;
        border-width: 1px 1px 1px 1px ;
}
div.img{
	text-align: center;
}


div.run{
	color: #000000;
	background-color: #ffffff;
	margin: 2%;
	width: 80%;
        border-style: none;
        border-color: #ffffff;
        border-width: 1px 1px 1px 1px ;
}

div.doswin{
	color: #ffffff;
	background-color: #000000;
	margin: 2%;
	width: 80%;
        border-style: none;
        border-color: #000000;
        border-width: 1px 1px 1px 1px ;
}

div.hlevel{
	color: #00a000;
}
div.exercise{
	background-color: #F0F0E0;
	border-style: none;
	border-width: 1px 1px 1px 1px;
	width: 100%;
	padding-bottom: 5px;
}

p.subsection{
	margin: 2%;
}

img{
	margin: 3px;
}
img.caution{
	margin: 0px;
}

li{
	margin-top: 5px;
	margin-bottom: 5px;
}

div.ref{
}

span.ref{
	color: #000000;
}
span.keyword{
	font-weight: bold;
	color: red;
}

span.command{
	color: blue;
}

span.caution{
	color: #ee8000;
	font-weight: bold;
}

span.imp{
	color: yellow;
}

span.hlevel{
	color: #00a000;
}

.white {color: #c0c0f0;}
.yellow {color: yellow;}