/*__ body __*/

html, body {
	margin: 0;
	padding: 0
}

body {
	background-color: white;
	color: #555555; 
	font-size: small;
	font-family: sans-serif;
	padding-bottom: 6ex;
	text-align: justify;
}

body.doc {
    padding: 2ex 2em;
}

div.main {
    margin-bottom: 6ex;
}

/*__ Structure __*/

h1, h2, h3 {
    color: #333;
}

section h1 {
    font-size: 1.2em;
    font-weight: bold;
}

section.example h1 {
    margin-bottom: 0;
    font-size: 1em;
    font-weight: bold
}

/*__ blocks __*/

section.intro .text {
    margin: 0 40% 0 0;
}

section.intro .illustration {
    float: right;
    margin: 0 2em;
    text-align: center;
}

/*__ lists __*/

.feed dl dt {
    font-size: 1em;
}

li { margin-bottom: 1.2ex; }
li li { margin-bottom: 0ex; }

li.espace { padding-top: 1.5ex; }

dt {
    margin: 1ex 0;
}

dl dt {
    font-size: 1.2em;
}

/*__ inline __*/
a, a:visited {
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

dfn { font-style: italic; }

table {
    border-collapse: collapse;
}

.corr {
    color: red;
}

/*__ Code __*/

pre {
    font-family: Consolas, Menlo, Monaco, monospace, serif;
    background-color: #eee;
    padding: 5px;
    margin-right: 5em;
    overflow: auto;
}

      div.algo {
        border: solid thin gray;
        width: 70%;
        padding: 1ex 2em;
        background-color: #f5fdff;
     }

/*__ Tables __*/

table, th, td
{
    border: solid thin black;
}

td{ 
    text-align: right;
    padding: 0.5ex 0.5em;
}

td.text, table.text td
{
    text-align: left;
}

/*__ perso __*/

#prieur {
    vertical-align:middle;
    height:1.5ex;
}

footer#signature
{
    position: fixed;
    bottom: 0;
    right: 0;
    width: 100%;
    background-color: white;
    text-align: right;
    border-top: 1px solid #ddd; 
    padding-top: 1ex;
    padding-right: 1em;
    font-size: small;
    font-family: sans-serif;
    color: gray;
}