/*********************************
Style Sheet for this whole website

All web pages on this site must 
refer to this CSS file.

*********************************/


/* HEADERS AND BODY OF TEXT */
/* ========================================================================= */

/* Font family for Headers */
/* (the "serif" is just to stop a warning) */
h1, h2, h3, h4
{
	font-family: arial, times, serif;
	color:black;
}
/* Font sizes for Headers */
h1
{
	font-size: 170%;
	text-align: center
}
h2
{
	font-size: 140%; 
}
h3
{
	font-size: 110%; 
}

/* The background for all web pages. */
body
{
	background-color: white;
}

/* PARAGRAPH STYLES */
/* ========================================================================= */

/* The normal, standard text. */
p
{
	font-family: times, serif;
	font-size: 110%;
	/* By default, each paragraph seems
	to be separated a bit too much from
	the others. */
	margin-top: 12pt;
	margin-bottom: 12pt;
	text-align: justify;
	
	/* I think increasing line spacing makes it easier to read */
	line-height: 18pt;
}


/* À paragraph to hold graphics, and small font explanations below the image. */
p.figure
{
	text-align:center;
	color: brown;
	font-weight: normal;
	font-family: times, serif;
	font-size: 80%;
	line-height: 12pt;
}

/* Source code. */
pre
{
	margin-left: 50pt;
	margin-right: 50pt;
	background-color: mintcream;
	font-size: 110%;
	-moz-tab-size: 3;
	tab-size: 3;
}
span.kw
{
	color: green;
	font-weight:bold;
}
span.cmt
{
	color: blue;
}
span.str
{
	color: brown;
}
span.hl /* as in "high-light" */
{
	color: red;
}


/* The top and bottom "breadcrumbs" so people can find their
way around the web site*/
p.poucethaut
{
	margin-top: 0;
	background-color: lightgray;
	font-size: 80%;
	text-align: left;
}
p.poucetbas
{
	margin-top: 24pt;
	margin-bottom: 0;
	background-color: lightgray;
	font-size: 80%;
	text-align: left;
}
/* The "self-numbered list" style" */
p.liste
{
	margin-left: 20pt;
}
p.liste2
{
	margin-left: 40pt;
}
p.liste3
{
	margin-left: 60pt;
}


/* VARIOUS OTHER STYLES */
/* ========================================================================= */


a.external_link
{
   padding-right: 18px;
   background: transparent url('external.png') no-repeat center right;
}

/* For warnings */
span.warning
{
	color: red;
	font-weight: bold;
}