/* feuille de style du tableau d'emploi du temps */

#table_edt  {
	border-collapse:collapse;
	margin: 0 auto;
 }
#table_edt td {
	text-align: center;
	border: 1px solid grey;
}

#table_edt caption {
	font-size: 16px;
	font-weight: bold;
	padding: 10px;
}

#table_edt td.jour {
	background-color: rgb(210,230,255);
	height: 25px;
	width: 80px;
}

#table_edt td.horaire {
	background-color: rgb(210,230,255);
	height: 35px;
	width: 60px;
}

#table_edt td.case_2 {
	background-color: rgb(240,255,255);
}


#table_edt td.case_1, td.case_1bis {
	background-color: rgb(255,230,230);
}

#table_edt td.case_vide {
	background-color: rgb(255,255,255);
	border: none;
}