body
{
	font-size: 80%;
	width: 620px;
}

table
{
	font-size: 80%;
}

td
{
	font-size: 125%;
}

body, table, td, h1, h2, h3, h4, h5, h6, ul, ol, li, p, blockquote
{
	font-family:	Arial, Arial Unicode MS, Verdana, Arial, Helvetica, Sans serif;
}

/* L'entête de la page HTML */
p.pageHeader
{
	font-size: 170%;
	color: #000055;
	font-weight: bold;
	margin-bottom: 0pt;
}

/* Le formulaire de recherche dans l'entête */
p.searchForm
{
	margin-top: 0pt;
}

p.topNavigation
{
	margin-top: 5pt;
	margin-bottom: 0pt;
	font-size: 90%;
	font-weight: bold;
}

/* Le titre principal du document */
p.mainTitle
{
	font-size: 170%;
	font-weight: bold;
	background-color: #CCCCCC;
	padding: 5pt;
	color: #005500;
	margin-bottom: 0pt;
}

div.defList
{
	margin-left: 10pt;
}

td.defItem
{
	border-top-width: 1pt;
	border-top-style: solid;
	border-top-color: #000055;
}

td.defItemLast
{
	border-top-width: 1pt;
	border-top-style: solid;
	border-top-color: #000055;
	border-bottom-width: 1pt;
	border-bottom-style: solid;
	border-bottom-color: #000055;
}

/* Un exemple litéral */
div.literal
{
	color: #000055;
	border-width: 1pt;
	border-style: solid;
	border-color: #000055;
	margin-left: 10pt;
	padding: 5pt;
	background-color: #FF99FF;
	font-weight: bold;
}

/* L'ensemble du corps du document */
div.body
{
	margin: 10pt;
	width: 600px;
}

/* L'en-tête du document */
div.head
{
	margin: 10pt;
	width: 600px;
}

/* Une section de niveau 1 */
div.section1
{
	margin-left: 10pt;
}

/* Une section de niveau 2 */
div.section2
{
	margin-left: 10pt;
}

/* Un titre de section de niveau 1 */
p.title1
{
	font-size: 130%;
	font-weight: bold;
	color: #000055;
	margin-bottom: 5pt;
}

/* Un titre de section de niveau 1 */
p.title2
{
	font-size: 120%;
	font-weight: bold;
	color: #000055;
	margin-top: 20pt;
	margin-bottom: 5pt;
}

p.justify
{
	text-align: justify;
}

span.defItem
{
	font-weight: bold;
	color: #000055;
}

/* Un élément pour espacer les entrées de TDM */
blockquote.tdm
{
	margin-top: 0pt;
	margin-bottom: 0pt;
}

/* Une entrée de section dans la table des matières */
p.tdmSection
{
	margin-top: 2pt;
	margin-bottom: 0pt;
	font-weight: bold;
}

/* Une entrée de document dans la table des matières */
p.tdmEntry
{
	margin-top: 1pt;
	margin-bottom: 0pt;
}

/* Une entrée de premier niveau dans la table des matières */
p.tdmEntete1
{
	font-size: 120%;
	color: #CC0000;
	font-weight: bold;
	margin-top: 0pt;
	margin-bottom: 4pt;
}

/* Une entrée de deuxième niveau dans la table des matières */
p.tdmEntete2
{
	font-size: 100%;
	color: #CC0000;
	font-weight: bold;
	margin-top: 0pt;
	margin-bottom: 4pt;
}

/* Une section dans la table des matières */
div.tdmSection
{
	margin-left: 10pt;
	margin-top: 20pt;
	marting-bottom: 0pt;
}

/* Une section dans la table des matières mais sans marge */
div.tdmSectionUp
{
	margin-left: 10pt;
	margin-top: 5pt;
	margin-bottom: 0pt;
}

/* Un document dans la table des matières */
p.tdmDocument
{
	margin-left:10pt;
	margin-top: 2pt;
	margin-bottom: 1pt;
}

/* Le table qui contient les infos sur le document précédente et suivant */
td.navigation
{
	font-size: 90%;
}

/* Le bas de page */
div.footer
{
	width: 600px;
	font-size: 80%;
}

/* Les listes */
ol, ul
{
	margin-top: 3pt;
	margin-bottom: 12pt;
}

/* Les paragraphes dans des listes: moins d'espace */
li p
{
	margin-top: 0pt;
	margin-bottom: 3pt;
}

/* Les éléments */
span.element
{
	font-family: Courier New;
	color: green;
	font-weight: bold;
}
/* Les attributs */
span.attribute
{
	font-family: Courier New;
	color: red;
	font-weight: bold;
}
/* Les valeurs d'attributs */
span.attributevalue
{
	font-family: Courier New;
	color: blue;
	font-weight: bold;
}

/* Une cellule dans un header de tableau */
thead tr td
{
	font-weight: bold;
	font-size: 130%;
	background-color: #AAAAAA;
	padding: 5px;
}

/* Un paragraphe pour la date de dernière modification */
p.date
{
	font-size: 8pt;
	font-family: Courier New;
	margin-top: 0pt;
	margin-bottom: 12pt;
}
