body  {margin:10px 20px 10px 10px; background-color:white; color:black;  font-family: Arial, sans-serif; }
body, td p { 	font-size:small;} 

h1 {
	margin:0px;
	font-size:120%;
	border-bottom:1px solid #999;
	padding-bottom:3px;
	color:black;
	font-weight:normal;
} 

h4 {
	margin:5 0 0 0px;

	border-bottom:1px solid #999;
	padding-bottom:0px;


} 



.m1 {background-color:rgb(240, 240, 240); border:1px solid; border-color:black; }
#topmenu {width: 10em; }
#topmenu ul { float:right; padding:0 0 0 20; margin: 0 0 0 0; }


a {font-size:90%;}
a, a:visited{ color:blue; text-decoration:none; }
a:active , a:hover{ color:blue; text-decoration:underline; }
#sections ul {list-style-type:none; margin-left: 0; padding-left: 0; margin: 16px 0 16px 0;}
#sections ul ul { margin: 0 0 0 4px; padding: 0 0 0 4px;}
li {font-size:95%;}
.selected {color:red;}

.spic {background-repeat: no-repeat; background-position: center;}

.selectedbox {color:black; background-color:rgb(0, 240, 0);}
.defaultbox {color:black; background-color:rgb(250, 250, 250);}
#resultat table {font-size:70%; color:black; background-color:rgb(240, 240, 240); }
#listoftovar table {font-size:80%; color:black; background-color:rgb(250, 250, 250); }
#listofsearch  {font-size:80%; color:black; background-color:rgb(250, 250, 250); }


#menu3 {font-size:80%;}