body {
	margin: 0;
	padding: 0;
}
h1 {
	color:white; 
	background-color:#63003C; 
	padding:0.4em 24px;
	margin-top: 0;
	margin-bottom: 0;
	/*background-image: url(img/vgradient.png);*/
	background-position:bottom;
	background-repeat:repeat-x;
	min-height: 100px;
}
h1, h2, h3, h4, h5 {
	font-family: Helvetica, Arial, sans-serif;
}
.year {
	margin-top: 10px;
}
h2 {
	color: white;
	background-color:#63003C; /*#00B000;*/
	padding-top: 5px;
	padding-bottom: 5px;
	/*background-image: url(img/vgradient.png);*/
	background-position:bottom;
	background-repeat:repeat-x;
}
h3 {
	margin-bottom: 0.3em;	
}
p, ul, h1, h2, h3, h4, h5 {
	padding-left: 24px;
	padding-right: 24px;
}
ul {
	margin: 0.2em inherit inherit inherit;
}
p + ul{
	margin-top: -12px; /* to compensate for the 16px margin after the <p> when there is a <p> before the list */
}
li {
	margin: 0 2em;
}
li ul { /* avoid large left indent for sublists */
	padding-left: 0px;
	padding-right: 0px;
	margin-left: 0px;
	margin-right: 0px;
}

img {
	border: 0;
}
.logo {
	margin: 10px;
}

/* to hide the text in the links below (but requires that there is text in the link, otherwise the image is also hidden)
	display: inline-block;
	width: 0px;
	overflow-x: hidden;
*/


a[href^="http://www.youtube"] {
	background-image: url(img/youtube.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="https://www.youtube"] {
	background-image: url(img/youtube.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://vimeo.com"] {
	background-image: url(img/vimeo.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="https://vimeo.com"] {
	background-image: url(img/vimeo.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href$=".mov"], a[href$=".mp4"], a[href$=".m4v"], a[href$=".wmv"], a[href$=".mpg"]  {
	background-image: url(img/video.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href$=".m4a"], a[href$=".mp3"] {
	background-image: url(img/audio.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}

/* match first on website prefix, then on filetype suffix as last match takes priority */

a[href^="http://dx.doi.org"] {
	background-image: url(img/doi.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://www.acm.org"], a[href^="http://dl.acm.org"], a[href^="http://doi.acm.org"] {
	background-image: url(img/acm.gif);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://www.sciencedirect.com"] {
	background-image: url(img/ScienceDirect.gif);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://www.springer.com"] {
	background-image: url(img/springer.gif);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://link.springer.com"] {
	background-image: url(img/springer.gif);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://hal.archives-ouvertes.fr"], a[href^="http://hal.inria.fr"] {
	background-image: url(img/hal.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://www.amazon"] {
	background-image: url(img/amazon.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://en.wikipedia.org"] {
	background-image: url(img/wikipedia.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}
a[href^="http://www.google.com"], a[href^="http://www.google.fr"] {
	background-image: url(img/google.png);
	background-repeat: no-repeat;
	padding-left: 20px;
}

a[href$=".pdf"], 
a[href^="https://hal"][href$="/document"], 
a[href$="type=pdf"],
a[href^="https://dl.acm.org/doi/pdf/"] {
	background-image: url(img/pdf.gif);
	background-repeat: no-repeat;
	padding-left: 20px;
}