body {
  background: #D6D6D6;
  color: black;
  font-family: arial,sans-serif;
  margin: 6%;
  width: 800px;
  padding: 0em 8%;
}

div.navigation {
	width: 700px;
    padding: 5px; 
    color: #452F38;
    font-size: 100%;
    font-family:  Helvetica Narrow, sans-serif;
	text-align: left;
}

div.navigation ul{
	list-style-type: none;
    margin: 0px;
    padding: 0px;
    border: none;
	text-align: left;
}

div.navigation ul li{
    margin-right: 5px;
	text-align: left;


}

div.navigation img {
	margin: 20px 0px 0px 0px;
	border: 1px solid #833D35;
    float: center;
}

div.fragment { 
	width: 700px;
	border: 1px solid #523440;
	background-color: #f5f5f5;
	padding-left: 4px;
	margin: 4px;
}

div.box { 
    width: 700px;
	background-color: transparent;
	border: 0px solid #833D35;
	color: black;
	padding: 4px 20px 4px 20px;
    font-size: 100%;
    font-family:  arial, sans-serif;
	
}

/*
div.box ul{
        margin-left: 10px;
        padding: 0px;
 	text-align: left;
}

div.box ul li{
        list-style-type: disc;
        margin-left: 10px;
        margin-bottom: 5px;
        margin-top: 5px;
    	text-align: left;
        
}

div.box ul li li{
	list-style-type: circle;
        margin-left: 10px;
        margin-bottom: 5px;
        margin-top: 5px;
    	text-align: left;
}
*/
div.boxleft { 
	width: 520px;
	background-color: transparent;
	color: black;
    float: left;
    padding: 10px 10px 20px 0px;
    text-align: left;
    font-size: 90%;
    font-family:  arial, sans-serif;

}


div.boxright { 
	width: 160px;
	background-color: transparent;
	color: black;
    float: right;
    padding: 0px 10px 20px 0px;
    font-size: 78%;
    font-family:  arial, sans-serif;

}
 
div.boxright img {
	width: 100%;
	margin: 0px 0px 20px 0px;
	border: 2px solid #833D35;
    float: right;
}
       


span.language {
	font-size: 80%;
}

div.footer {
	width: 700px;
        padding: 5px; 
        color: #452F38;
        font-size: 65%;
        font-family:  Verdana, sans-serif;
        text-align: center;
}

/*
.comment {
	color: #228B22;
}
*/

.string {
	color: #B20000;
}
.keyword { 
	color: #0000FF;
}

.keywordtype { color: #604020; }
.keywordflow { color: #e07000; }
.preprocessor { color: #806020; }
.stringliteral { color: #002080; }
.charliteral { color: #008080; }

img {
	border: 0px;
}

a {
	text-decoration: none; 
	color: black;
}

a:hover {
	background-color: #F0EAEA;
	color: black;
}

a.nav {
	text-decoration: none; 
	color: black;
}

a.nav:hover {
	background-color: #F0EAEA;
	color:#523440;
}

a.code {
	font-weight: normal; 
	color: #A020F0;
}

a.code:hover {
	background-color: #FF0000;
	color: #FFFFFF;
}	

a.foot {
	text-decoration: none; 
	color: #FFFFFF;
}

a.foot:hover {
	background-color: #FFFFFF;
	color: #FFFFFF;
}

a.ref {
	text-decoration: none; 
	color: #452F38;
}

a.ref:hover {
	background-color: #FFFFFF;
	color: #452F38;
}


h1 {
	width: 95%;
	background: transparent;
	color: black;
	font-size: 160%;
	text-align: center;
}

h1 a.ref:hover {
	background-color: #D6D6D6;
	color: black;
}


h1 a.ref {
	text-decoration: none; 
	color: black;
}



h2 {
	background: #ACACAB;
	color: black;
	font-size: 125%;
    font-family: helvetica;
}

h2 a.ref:hover {
	background-color: D6D6D69A;
	color: black;
}


h2 a.ref {
	text-decoration: none; 
	color: #452F38;
}

h3 {
	width: 95%;
	background: transparent;
	color: black;
	font-size: 110%;
	text-align: center;
}

address {
	font-size:small;
}

.it {
    font-style: italic;
}



table.finalpubli{
    background  : #C6C3CA; /*#E6E6E6;*/
	border		: 2px solid rgb(200,200,200);
	width 		: 100%;
}


table.finalpubli tr{
	vertical-align	: top;
}

table.finalpubli td{
	padding		: 1ex 1.5ex;
}


.finalpubli img{
    border: 2px solid #833D35;
	float		: right;
	margin		: 0.5ex 0 1ex 2ex;
}

.finalpubli{
	margin-bottom	: 1ex;
}

.finalpubli .title{
	font-weight	: bold;
	text-align	: left;
}


.finalpubli .where{
	font-style	: italic;
	text-align	: left;
}


.finalpubli .year{
}


.finalpubli ul.comment{
	list-style-type : square;
	padding-left 	: 2ex;
	margin-left	: 0;
	margin-bottom	: 0;
}


.finalpubli ul.comment li{
	margin-bottom	: 0.75ex;
}