/* $Id: style.css,v 1.1.1.1 2003/05/04 13:14:36 marms Exp $ */

body, table{
	font-family: Verdana;
	font-size: 11px;
}

h1,h2,h3, h4, h5, h6 {
	border-bottom: 1px solid #000000;
}

/* Bloc de code PHP */
pre.codePHP {
/*	font-family: Verdana;
*/	font-size: 11px;
	background-color: #F5F5F5;
	border: 1px dotted #555555;
	color: #333333;
	padding: 3px;
}

/* @tags dans les commentaires PHP */
span.codePHPCommentKeyword{
	font-weight: bold;
}

/* Mots clefs PHP. Ex: class, function, ... */
span.phpKeyword{
	font-weight: bold;
}

/* Une commande PHPEdit. Ex: StatusMessageSuccess, ... */
span.PHPEditCommand {
	border-bottom: 1px dotted #FF9900;
	background-color: #DDEEFF;
	padding-left: 2px;
	padding-right: 2px;
}

/* Un script PHPEdit */
pre.codePHPEdit{
	font-family: Verdana;
	font-size: 10px;
	background-color: #F5F5F5;
	border: 1px dotted #555555;
	color: #333333;
	padding: 3px;
}

/* Une déclaration DTD */
pre.codeDTD{
	font-family: Verdana;
	font-size: 10px;
	background-color: #F5F5F5;
	border: 1px dotted #555555;
	color: #333333;
	padding: 3px;
}

/* Un bloc d'éléments restant à effectuer 
  sur cette partie de l'application */
pre.todo{
	font-family: Verdana;
	font-size: 10px;
	border: 1px solid #555555;
	padding: 3px;
}

/* Le détail des différentes options d'un élément
  actuellement utilisé pour décrire les priorités 
  d'une tache dans le module TaskReport */
table.options{
	border: 1px outset;
	background-color: #FAFAFA;
}

pre.proto{
	font-family: Verdana;
	font-size: 10px;
	background-color: #F5F5F5;
	border: 1px solid #555555;
	color: #333333;
	padding: 3px;

}