body {
	font-family: arial;
	font-size: 10pt;
	width: 100%;
	background-color: #f5f5f5;
}

a {
	text-decoration: none;
}

a:hover {
	background: #e0e0e0;
	color: #007f00;
}

ul {
	margin-top: -1cm;
	margin-bottom: 0px;
}

li {
	margin-left: 20%;
	margin-right: 35%;
	margin-bottom: 5px;

	text-align: right;
}

/* emphasized */
.emph {
	/*font-style: italic;*/
	/*background: #ffffff;*/
	color: #007f7f;
	/*color: darkred;*/
	color: #af0000;
	/* font-weight: bold;*/
}

#name {
	position: absolute;
	/*float: right;*/
	top: 2cm;
	left: 70%;

	text-align: center;
	margin-top: 1cm;
	margin-bottom: 2cm;
	margin-right: 1cm;

	padding-right: 5px;
	padding-left: 5px;
	padding-top: 3px;
	padding-bottom: 3px;
	font-size: 150%;
	font-weight: bold;
	background: #a0a0a0;
	width: 20%; 
	color: #ff0000
}



#main {
	margin-top: 1cm;
	margin-left: 2%; /*1cm;*/
	/*margin-left: 0;*/
	margin-right: 0;

	padding: 0px 0px 0px 0px;

	width: 48%;

	border-right: 1px solid #c0b0b0;
	border-left: 1px solid #b0b0c0; 
	/***
	border-right: 1px solid #b0b0c0;
	border-left: 1px solid #c0b0b0;
	***/
	background-color: #f0ffe8;
}

#main div.block {
	font-family: Verdana,arial;
	margin-bottom: 1cm;
	width: 100%;
	padding: 0px 0px 0px 0px;
	margin-right: 0px;
}

/* terminator */
#main div.tblock {
	border-top: 1px solid #c0b0c0;
	padding-top: .5cm;
	width: 100%;
	padding: 0px 0px 0px 0px;
	padding-left: 5px;
}

#main .auth {
	color: green;
	font-style: italic;
	font-weight: bold;
	font-family: Tahoma, helvetica, Verdana, Courier, Times;
	font-size: 8pt;
}

/* header of the block */
#main div.block h2 {
	font-size: 10pt;
	/*width: 100%;*/
	text-align: right;
	border-bottom: 1px solid #c0b0c0;
	padding-right: 0px;
	margin-right: 0px;
	margin-left: 20px;
}

/* block name */
#main div.block h2 div {
	font-family: Verdana, Helvetica, Courier;

	margin-left: 70%;
	margin-right: 0pt;

	/***
	margin-left: 0pt;
	margin-right: 70%;
	***/

	padding-top: 2px;
	padding-bottom: 2px;

	background: #c0b0b0;
	color: white;
	text-align: center;
	font-size: 100%;
	font-weight: bold;
}

#main div.eblock {
	font-family: Verdana,arial;
	margin-bottom: 1cm;
	width: 100%;
	padding: 0px 0px 0px 0px;
	margin-right: 0px;
}

#main div.eblock h2 {
	font-size: 10pt;
	/*width: 100%;*/
	text-align: right;
	border-bottom: 1px solid #c0b0c0;
	padding-right: 0px;
	margin-right: 20px;
	margin-left: 0px;
}

/*#main div.even {*/
#main div.eblock h2 div {
	font-family: Verdana, Helvetica, Courier;

	margin-left: 0;
	margin-right: 70%;

	/***
	margin-right: 0;
	margin-left: 70%;
	***/

	padding-top: 3px;
	padding-bottom: 3px;

	background: #b0b0c0;
	color: white;
	text-align: center;
	font-size: 100%;
	font-weight: bold;
}

#main p {
/*	margin-top: -1cm; */
	margin-left: 20px;
	margin-right: 20px;
	text-align: justify;
	/*margin-top: 0px;*/
	/*width: 80%;*/
}

#main p.lifted {
/*	margin-top: -1cm; */
	margin-bottom: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
}

#main pre {
	margin-left: 25px;
	margin-right: 20px;

	padding-top: 0px;
	padding-bottom: 0px;
}

#main code {
	font-family: monospace;
	color: brown;
}

#main div.codelet {
	margin-top: .5cm;
	margin-bottom: .5cm;
	margin-left: 25px;
	margin-right: 30px;
	font-family: monospace;
	font-family: Courier;
	color: brown;
}

div.panel {
	position: absolute;
	background-color: #f0e8ff;

	margin-top: 1cm;
	margin-bottom: 2cm;
	/*margin-right: 1cm;*/

	padding-bottom: .5cm;
	padding-top: 0cm;

	border:	1px solid;
	/*border-left: .5cm solid #00bf00;*/
}

div.title {
	/*width: 100%;*/
	/*height: 20px;*/
	font-family: arial;
	font-size: 12pt;
	/*height: 5pt;*/

	color: white;
	margin-bottom: .5cm;
	margin-top: 0pt;
	padding-bottom: 3pt;
	padding-top: 3pt;

	padding-left: 0pt;
	margin-left: 1cm;
}

span.titlename {
	font-weight: bold;
	margin-left:10px;
	/*margin-right: 70px;*/
	/*background-color: #00bf00;*/
	/*width: auto;*/
	text-align: center;
	padding-left: 0pt;
}

span.date {
	font-size: 10pt;
	/*width: 20%;*/
	/*float: right;*/
	/*text-align: right;*/
	/*width: 20%;*/
	/*background-color: #000080;*/
	background-color: #00bf00;
	padding: 0px 0px 0px 0px;
}

/* panel */
#highlights {
	top: 2cm;
	left: 60%;
	width: 30%;


	border-color: #00bf00;
}

#highlights h2 {
	font-family: arial;
	font-size: 12pt;

	padding-bottom: 2pt;
	padding-top: 2pt;

	width: 100%;
	background-color: #00bf00;
	color: white;
	margin-bottom: .5cm;
	margin-top: 0pt;

	text-align: center;

	/*margin: 0pt 0pt 0pt 0pt;*/
}

#highlights .text {
	margin-left: .8cm;
	margin-right: .1cm;
	text-align: left;

	color: darkblue;

	font-size: 8pt;
	font-family: Verdana, Times New Roman; 
}

span.thename {
	color: darkgreen;
	font-family: monospace;
}

#highlights h2 div {
	border-bottom: 1px solid #c0b0c0;
	padding-right: 0px;

	margin-left: 80%;
	margin-right: 0%;
	margin-top: -18px;
	padding-top: 2px;
	padding-bottom: 0px;

	font-size: 8pt;
	font-weight: normal;
}

#highlights div.title {
	/*width: 100%;*/
	background-color: #00bf00;
	margin-left: 0pt;
	/*margin-left: 0.8cm;*/
}

#highlights div.titlename {
	font-weight: bold;
	margin-left:50px;
	margin-right: 70px;
	background-color: #00bf00;
	/*width: auto;*/
	text-align: center;
	padding-left: 0pt;
}

#highlights div.date {
	font-size: 10pt;
	/*width: 20%;*/
	float: right;
	text-align: right;
	margin-right: 10px;
	width: 40px;
	/*background-color: #000080;*/
	background-color: #00bf00;
	padding: 0px 0px 0px 0px;
}

#highlights span.titlename {
	/*float: left;*/
	/*width: 50%;*/ 
	/*margin-left: 40%; */
	background-color: #00bf00;
	/*text-align: center;*/
}

#highlights span.date {
	font-size: 10pt;
	background-color: #00bf00;
	margin-left: 0;
	float: right;
	margin-right: 5%;
}

/* panel */
#TODO {
	top: 7cm;
	left: 55%;
	width: 18%;
	border-color: #ffbf00;
}


#TODO div.title {
	background-color: #ffbf00;
	margin-left: 0.8cm;
	color: white;
}

#TODO span.titlename {
	background-color: #ffbf00;
}

#extra.panel {
	top: 7cm;
	left: 76%;
	width: 18%;

	border-color: #00bfff;
}

#extra.panel  code {
	font-family: monospace;
}

/* refined for #extra */
#extra div.title {
	background-color: #00bfff;

	padding-left: 0pt;
	margin-left: 0.8cm;
}

.text {
	margin-left: .5cm;
	margin-right: .1cm;
	text-align: left;

	color: darkblue;

	font-size: 8pt;
	font-family: Verdana, Times New Roman; 
}