/*
 * Feuille de style pour la page "Langages de communication pour agents"
 * Christophe Jacquet, février 203
 */

@import "banner.css";


/* Cacher le menu dans NS4 */
div.banner { display: none }


body {
  margin: 0;
  padding: 0;
  font-family: Georgia, serif;
  font-size: 11pt;
  line-height: 1.8em;
  background: white;
}

#content {
	margin: 1em 1em 1em 8.2em;
}

h1, h2, h3 {
	font-family: 'Trebuchet MS', serif;
	margin-top: 2em;
}


h1 {
	font-size: 1.8em;
	color: #D00;
}

h2 {
	color: #005A9C;
	font-size: 1.4em;
}

div.titre {
	font-family: impact, arial, helvetica, sans-serif;
	font-size: 2.4em;
	line-height: 1em;
	text-align: center;
}

div.titre #t1 {
}

div.titre #t2 {
	color: #AAA;
	line-height: .6em;
}


div.titre #t3 {
}

div.titre #t4 {
	margin-top: .5em;
}

div.titre em {
	color: #005A9C;
	font-style: normal;
}

div.titre strong {
	color: #D00;
	font-weight: normal;
}


blockquote {
  float: left;
  width: 20%;
  border-right: 1px dotted #555;
  margin: 10px 30px 10px -70px;
  padding-right: 10px;
  font-family: verdana, sans-serif;
  font-size: 8pt;
}

a {
  font-weight: bold;
}

a:visited, a:link {
  text-decoration: none;
  border-bottom: 1px dotted #930;
  color: #A30;
}

a:link {
/*  color: #930;*/

}

a:visited {

}

a[href]:hover, a:active {
  color: #D18400;
/*  text-decoration: underline;*/
  border-bottom: 1px solid #D18400;
}
  

/* Tableaux */
table {
	padding: 0;
	border: 1px solid black;
	border-collapse: collapse;
	border-spacing: 0;
	font-family: verdana, arial, helvetica, sans-serif;
	line-height: 1.4em;
	font-size: 10pt;
}

tr {
	margin: 0;
	padding: 0;
}

td {
	margin: 0;
	border-right: 1px solid black;
	padding: 2px;
	border-bottom: 1px dotted black;;
}

th {
	margin: 0;
	padding: 2px;
	border-right: 1px solid black;
	border-bottom: 1px solid black;
	background: #DDD;
}


/* Remarque liminaire */
div.liminaire {
	border: 1px solid #AA0;
	background-color: #EDA;
	margin-left: 10%;
	margin-right: 10%;
	padding-left: 1em;
	padding-right: 1em;
	font-size: 10pt;
	line-height: 1.2em;
	font-style: italic;
	margin-top: 4em;
}

div.liminaire em {
	font-style: normal;
}

div.liminaire h1 {
	text-align: center;
	margin-top: .8em;
	color: black;
	font-size: 1.3em;
	font-style: normal;
	font-weight: normal;
}

address {
	background-color: #DDD;
	border: 1px solid black;
	line-height: 1.2em;
	font-size: 10pt;
	padding: 1em;
}

address p {
	padding: 0;
	margin: 0;
}

address img {
	float: right;
	border: none;
	margin-left: 10px;
	margin-bottom: 10px;
}

/* code brut */
pre {
	background: #CFC;
	border: 1px dotted blue;
	padding: 3px 1em 3px 1em;
	line-height: 1.3em;
}

div.ex {
	background: url("exemple.png");
	background-repeat: no-repeat;
	background-position: 0px 0px;
	background-color: #DEF;
	padding: 1em;
	padding-left: 40px;
	border: 2px solid #005A9C;
	border-left: none;
}

div.ex img {
	border: 1px dotted blue;
	float: right;
}