/* Feuille de style appliquée sur platform/documentation */

h1 {

font-size: 25px; font-family:Arial, Helvetica, sans-serif; color: grey; background-color:#EEEEEE; width: 100%; margin-top: 30px;

}

h2 {

border-style: solid; border-color: #DCDCDC; width: 80%; margin-top: 20px;

}

h3 {

border-style: dotted; border-color: #DCDCDC; width: 80%; margin-top: 20px;

}

blockquote:not(.citation) p {

width: 80%; background: #f6f6f6; padding: 1em; margin: 1em; border-radius: 0.25em; box-shadow: .1em .1em .6em 0 #999;

}

/* .notebox-warn p {

padding: 1em; margin: 1em; background: #ffdddd; border-radius: 1em;

} .notebox-tip p {

padding: 1em; margin: 1em; background: #ddffdd; border-radius: 1em;

} .notebox-note p {

padding: 1em; margin: 1em; background: #eeeeff; border-radius: 1em;

}

.wiki-toc {

position: fixed;

}

*/

.wiki-toc {

padding: .5em 1em; margin: 0 0 2em 1em; float: right; clear: both; border: 1px outset #ddc; background: #ffd; font-size: 85%; position: fixed;

}