/* ------------------------------------------------------ */
/* Feuille de style CSS utilisée par le CNU25             */
/* ------------------------------------------------------ */

body {
  color: black;
  background: white;
  font-family: Geneva, Verdana, Arial, Helvetica, Lucida Grande, sans-serif;
  font-size: 12px;
}

div.title {
  padding: 6;
  text-align: right;
  color: #555555;
  font-size: 18px;
  margin: 15 5 50 5;
}

div.section {
  border-color: #CCCCCC;
  border-style: solid;
  border-width: 1;
  color: #555555;
  font-size: 14px;
  font-weight: normal;
  padding: 6;
  /* top right bottom left */
  margin: 15 5 10 5;
}

div.subsection {
  color: #555555;
  font-size: 14px;
  font-weight: normal;
  /* top right bottom left */
  margin: 15 20 10 15;
}

div.excerpt {
  /* top right bottom left */
  padding: 0 20 10 40;
  font-size: 12px;
  text-align: justify;
}

p {
  /* top right bottom left */
  margin: 5 20 10 20;
  text-align: justify;
}

span.fixme {
  color: red;
}

pre.code {
  margin-left: 40;
  color: #335533;
  font-size: 12px;
}

blockquote {
  margin: 20;
  text-align: left;
  font-size: 12px;
}

table {
  /* top right bottom left */
  margin: 5 5 10 25;
  font-size: 12px;
}
tr {
  font-size: 12px;
}
td {
  font-size: 12px;
}

ul {
  margin-top: 10;
  margin-bottom: 10;
}

li {
  margin-left: 25;
  margin-right: 20;
}

dl {
  /* top right bottom left */
  margin: 5 20 10 25;
}

/* ------------------------------------------------------ */

div.bib-section {
  border-color: #CCCCCC;
  border-style: solid;
  border-width: 1;
  color: #555555;
  font-size: 14px;
  font-weight: normal;
  padding: 6;
  /* top right bottom left */
  margin: 15 5 10 5;
}

div.bib-reference {
  padding-bottom: 5;
  margin-left: 35;
  text-indent: -15;
  font-size: 12px;
}

div.bib-reference-nobullet {
  padding-bottom: 5;
  margin-left: 35;
  text-indent: -15;
  font-size: 12px;
}

/* ------------------------------------------------------ */

div.footnote-section {
  border-color: #CCCCCC;
  border-style: solid;
  border-width: 1;
  color: #555555;
  font-size: 14px;
  font-weight: normal;
  padding: 6;
  /* top right bottom left */
  margin: 15 5 10 5;
}

div.footnote {
  padding-bottom: 5;
  margin-left: 35;
  text-indent: -15;
  font-size: 12px;
}