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

*/