/* StarPU --- Runtime system for heterogeneous multicore architectures.
 *
 * Copyright (C) 2009-2011  Université de Bordeaux 1
 * Copyright (C) 2010, 2011, 2012  Centre National de la Recherche Scientifique
 *
 * Permission is granted to copy, distribute and/or modify this document
 * under the terms of the GNU Free Documentation License, Version 1.3
 * or any later version published by the Free Software Foundation;
 * with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 * See the GNU Free Documentation License in COPYING.GFDL for more details.
 */

body {
	font-family: sans-serif;
/*	margin-top: 0px; */
}

div.node {
	text-align: center;
	margin-top: 12px;
	margin-bottom: 3px;
	background: #eeeeff;
	font-variant: small-caps;
/*	position: fixed;*/
	width: 100%;
}
div.node a {
	text-decoration: none;
	color: #0020a0;
}
div.node hr.node {
	height: 4px;
	background: #fe0;
	border: 0px;
	margin-top: 0px;
	margin-bottom: 0px;
}

h1 {
	font: bold normal 2.5em sans-serif ;
	margin: 0px;
	color: rgb(226,0,38);
}
h1.sub {
	font: bold normal 2em sans-serif ;
	text-align: right ;
	color: #0020a0;
}
h1 a {
	color: #0020a0;
	text-decoration: none;
}

h2 {
	font: bold normal 2em sans-serif ;
	margin: 0px;
	color: #0020a0;
}
h2.sub {
	font: bold normal 2em sans-serif ;
	text-align: right ;
	color: #0020a0;
}
h2 a {
	color: #0020a0;
	text-decoration: none;
}

h3 {
	font: bold normal small-caps 1.5em sans-serif ;
	color: #0020a0;
	margin-top: 8px;
	margin-bottom: 8px;
}

h4 {
	font: bold normal small-caps 1em sans-serif ;
	color: #0020a0;
	margin-top: 8px;
	margin-bottom: 4px;
}

h6.mirrors {
	text-align: right;
	margin: 0px;
	font-size: 10px;
}

div.section {
	background: #eeeeff;
	padding-left: 2px;
	padding-bottom: 2px;
	margin-top: 12px;
	margin-bottom: 12px;
}

p {
	margin-top: 8px;
	margin-bottom: 4px;
	margin-left: 6px;
	margin-right: 6px;
}

hr {
	height: 8px;
	background: #fe0;
	border: 0px;
	margin-top: 6px;
	margin-bottom: 6px;
}

pre {
	font-size: 12px;
	background: #dddddd;
	padding: 3px;
	padding-left: 0px;
	margin-left: 12px;
}

table.cartouche {
	font-size: 12px;
	background: #dddddd;
	padding: 3px;
	padding-left: 0px;
	margin-left: 12px;
}

a {
	font-weight: bold;
}

div.publis-desc {
	text-align: right;
	font-style: italic;
	font-size: 12px;
	padding-left: 15%;
}

p.updated {
	text-align: right;
	font-size: 10px;
	font-style: italic;
}

div.contents {
	margin-top: 12px;
	margin-bottom: 3px;
	font-variant: small-caps;
	padding-left: 1em;
	padding-right: 1em;
	padding-top: 1px;
	padding-bottom: 1px;
	margin-top: 12px;
	margin-bottom: 12px;
	margin-top:0px;
	margin-left: auto;
	margin-right: auto;
	border-top: 4px solid rgb(204,209,222);
	border-bottom: 4px solid rgb(204,209,222);
}
