/* 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;

}

.wiki-toc {

position: fixed; top: 300px; right: 50px;

/* width: 200px; */ }

.wiki-toc ol {

list-style-type: none;

}

.wiki-toc-inline ol {

list-style-type: none;

}

/* .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;

}

*/