html {
	background-color: white; color: black;
/*	background-image: url(back-soft.jpeg);
	background-position: top left;
	background-repeat: repeat-y;*/
}

body {
	margin: 0 4em;
	padding: 1em 0 0 1em;
	background: inherit; color: inherit;
}

/* Un sous-titre un peu mis en valeur. */

div.title {
	margin: 0 0 1em 0;
	font-family: inherit;
	font-style: italic;
    font-weight: bold;
	color: #048; background: inherit;
}

h1 { margin: 0 0 0 -1em; }
h2 { margin-left: -1em }


/* Une colonne avec le texte principal, une colonne avec un menu. */

body {
	padding-right: 0
}
div.apparte, address { margin-right: 0 }

div.main {
	margin: 0% 20% 0% 0%;
}

div.intro {
	font-style: italic;
}

div.links, div.menu {
	position: fixed;
	margin: 0;
	padding: 2ex 1ex;
	right: 0; width: 14%; height: auto;
	border-style: none none none solid;
	border-width: 1px;
	border-color: #840;
	background: #FEC; color: black;
	text-align: left
}

@media print {
	div.links, div.menu { display: none }
}

/* Présentation des menus. */

div.links {
	top: 0;
	color: inherit;
	font-size: smaller
}

div.links span.head {
	display: block;
	margin: 1ex 0 0 0;
	font-style: italic;
	color: #876; background: inherit;
}
/*div.links span :before { content: "a" }*/

div.links a {
	color: #C40
}
div.links span { display: block; }
div.links span.alt { font-size: smaller; }

div.menu {
	bottom: 0;
	padding-top: 3ex;
	font-size: smaller
}

div.menu span.head {
	display: block;
	margin: 1ex 0 0 0;
	font-weight: bold;
	color: black; background: inherit;
}

div.menu span {
	display: block;
	font-weight: normal;
	margin-left: 2ex;
	color: white; background: inherit;
}

div.menu span.h3 {
	padding-left: 2ex
}


/* Divers... */

table.files {
	margin: 1ex 2em;
	background-color: #FEC; color: inherit;
}
table.files th {
	padding: 0 1em 0 0;
	text-align: left;
}

table.spaced {
	border-spacing: 3em 0;
}

blockquote.code {
	font-family: monospace;
	text-align: left;
}

blockquote.code p {
	padding: 0 0 0 2em;
	text-indent: -2em;
}