Reduire la police css

/*
-----------------------------------
------ SCRIPT  -------
          -----------------------------------
*/

body { 
  font-family: Arial;
  scrollbar-arrow-color: red;
  background:url("images/fond.JPG");
  width:90%;
  margin:0 auto;
 
}
                   
}
body a{
	color: #0099CC;
	text-decoration: none;
	font-weight: bold;
}
body a:hover{
	text-decoration: underline;
}
.erreur {
	font-size: 10px;
	color: #FF0000;
	font-weight: bold;
}
.reussite {
	font-size: 10px;
	font-weight: bold;
	color: #669900;
}
.donnee {
	font-weight: bold;
	color: #FF9900;
	font-size: 12px;
}
.titre {
	font-size: 16px;
	font-weight: bold;
	color: #FF6600;
	text-align: center;
}
.tableaux {
	font-size: 10px;
	border: 1px dotted #000000;
	background-color: #eeeeee;
}

.bouton{ 
background:url(images/rechercher.jpg); 
} 

.principal { 
width = 90%; 
height = 90% ; 
}