.lieu {
	color: rgb(42, 101, 169);
}

.separateur {
	color: rgb(0, 0, 139);
	font-weight: bold;
}

.presentation {
	width:260px;
	float:left;
}
.contributions {
	margin-left:260px;
}

.portrait {
	margin-left:14px;
}

.adresse {
	margin-top:20px;
	margin-left:10px;
}

.paper_title_without_link { color: rgb(42, 71, 119); }
.words_without_link       { color: rgb(22,81,149); }

pre  { color: rgb(32, 61, 109); }
code { color: rgb(32, 61, 109); }

img {
    border : none
}

h1 {
	color: rgb(42, 101, 169);
}

h2 {
	color: rgb(42, 101, 169);
}

h3 {
	color: rgb(42, 101, 169);
}

a {
	color: rgb(42, 101, 169);
	text-decoration: none
}

dt a { color: rgb(130, 32, 240); }

a:visited {color: rgb(102, 90, 159); }

sup { font-size: smaller}

ul { line-height: 150% }

.match { color: rgb(0, 160, 30); }
.word { font-weight: bold; }