@charset "UTF-8";
.sr-only {
  border: 0 !important;
  clip: rect(1px, 1px, 1px, 1px) !important;
  /* 1 */
  -webkit-clip-path: inset(50%) !important;
  clip-path: inset(50%) !important;
  /* 2 */
  height: 1px !important;
  margin: -1px !important;
  overflow: hidden !important;
  padding: 0 !important;
  position: absolute !important;
  width: 1px !important;
  /* 3 */ }

body {
  box-sizing: border-box;
  color: #384257; }
  body #main-wrap {
    box-sizing: border-box;
    line-height: 1.3; }
    body #main-wrap main p {
      text-align: left;
      line-height: 1.3; }
      body #main-wrap main p.paracenter {
        text-align: center; }
    body #main-wrap main #content {
      padding: 2em; }
    body #main-wrap main #toc nav.toc ul {
      padding-left: 1em;
      padding-right: 2em;
      font-size: 90%; }

@media (max-width: 60rem) {
  main {
    display: flex;
    flex-wrap: wrap;
    flex-direction: column; }
    main #toc-wrap {
      margin-top: 10ex; }
  #toc-view-switcher-button {
    display: none; } }

@media (min-width: 60rem) {
  main {
    display: flex;
    flex-wrap: wrap;
    flex-direction: row; }
    main #content {
      flex: 3;
      max-height: calc(100vh  - 10ex - 4em);
      overflow-y: auto; }
    main #toc-wrap {
      flex: 1 10;
      max-height: calc(100vh - 10ex - 1em);
      overflow-y: auto;
      position: relative; } }

#header-wrap {
  position: sticky;
  top: 0px;
  height: 3em; }

header nav ul {
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  text-align: center;
  background: #ffffff; }
  header nav ul #menu-download-epub {
    display: none; }
  header nav ul li {
    flex-shrink: 1;
    flex-grow: 1;
    margin-right: 1em;
    margin-bottom: 1ex;
    background: #b11904;
    border-radius: 1ex; }
    header nav ul li a {
      display: inline-block;
      padding: 0.7ex;
      color: #ffffff;
      font-weight: bold;
      border: none; }
      header nav ul li a:hover {
        color: #ddd; }
    header nav ul li#inria-logo-wrap {
      background: none; }

header #inria-logo {
  box-sizing: border-box;
  height: 3ex;
  background: none;
  margin-top: -1.3ex; }

#toc-wrap[data-open='false'] {
  flex: 0.2 10; }

#toc-wrap nav.toc ul {
  padding-left: 1em;
  list-style: none;
  line-height: 1.5; }

#toc-wrap nav.toc .section-number {
  color: #b11904; }

#toc-wrap li li li {
  font-size: 110%; }

.keywords-wrap {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap; }
  .keywords-wrap .kw-comp, .keywords-wrap .kw-app {
    margin: 2em; }
    .keywords-wrap .kw-comp ul, .keywords-wrap .kw-app ul {
      list-style: none; }
      .keywords-wrap .kw-comp ul li, .keywords-wrap .kw-app ul li {
        margin-bottom: 1em; }
        .keywords-wrap .kw-comp ul li .kw-code, .keywords-wrap .kw-app ul li .kw-code {
          display: inline-block;
          padding: 3px;
          border: 1px solid #384257;
          background: #384257;
          color: #ffffff;
          min-width: 2em;
          border-radius: 6px;
          margin-right: 1em;
          vertical-align: middle; }
        .keywords-wrap .kw-comp ul li .kw-label, .keywords-wrap .kw-app ul li .kw-label {
          font-weight: normal; }
    .keywords-wrap .kw-comp .kw-list-label, .keywords-wrap .kw-app .kw-list-label {
      display: inline-block;
      color: #b11904;
      font-weight: bold;
      font-size: 120%;
      margin-bottom: 1em; }

.team-data {
  background: #384257;
  color: #ffffff;
  padding: 2em;
  margin-right: 2em;
  display: flex;
  flex-wrap: wrap; }
  .team-data .team-data-frame-1 {
    background: #e83101;
    padding: 2em;
    text-align: right;
    font-size: 160%;
    flex: 1;
    position: relative; }
    .team-data .team-data-frame-1 .activity-report-label {
      text-transform: uppercase; }
    .team-data .team-data-frame-1 .team-status {
      margin-top: 1em; }
    .team-data .team-data-frame-1 .team-acronym {
      font-weight: bold;
      font-size: 140%; }
    .team-data .team-data-frame-1 .team-comment {
      font-size: 80%;
      font-style: italic; }
    .team-data .team-data-frame-1 .team-rnsr-wrapper {
      position: absolute;
      bottom: 2em;
      right: 2em;
      font-size: 50%;
      text-align: right;
      display: none; }
  .team-data .team-data-frame-2 {
    flex: 3; }
  .team-data .center-wrap {
    margin-left: 1em;
    border: 1px solid #ffffff;
    padding: 1em;
    background: #ffffff;
    color: #384257;
    font-weight: bold; }
    .team-data .center-wrap .cri-header {
      text-transform: uppercase;
      margin-bottom: 1ex; }
    .team-data .center-wrap a {
      margin-top: 0.5ex;
      line-height: 1.5; }
  .team-data .partnerships-wrap {
    margin: 1em;
    border: 1px solid #ffffff;
    padding: 1em; }
    .team-data .partnerships-wrap .partnerships-header {
      text-transform: uppercase; }
  .team-data .collaborations-wrap {
    margin: 1em;
    border: 1px solid #ffffff;
    padding: 1em; }
    .team-data .collaborations-wrap .collaborations-header {
      text-transform: uppercase; }
  .team-data .team-name {
    font-size: 300%;
    text-align: center;
    margin: 1em; }
  .team-data .domain-wrap {
    margin: 1em;
    padding: 1em; }
    .team-data .domain-wrap .domain-header {
      text-transform: uppercase; }
  .team-data .topic-wrap {
    margin: 1em;
    padding: 1em; }
    .team-data .topic-wrap .topic-header {
      text-transform: uppercase; }

.team-history {
  text-align: center;
  margin: 1em;
  font-style: italic; }

.biblio {
  list-style: none;
  padding-left: 1em; }
  .biblio li[data-bibitem-type="article"] .bibitem-date::before {
    content: " ("; }
  .biblio li[data-bibitem-type="article"] .bibitem-date::after {
    content: ") "; }
  .biblio .bibitem {
    margin-bottom: 1em; }
    .biblio .bibitem .bibitem-error-missing-template {
      font-weight: bold;
      color: red; }
    .biblio .bibitem .bibitem-type-label {
      font-weight: bold;
      display: none; }
    .biblio .bibitem .best-paper-label {
      color: #099cff;
      font-size: bold;
      font-style: italic; }
    .biblio .bibitem .bibitem-content {
      display: inline-block;
      width: calc( 100% - 3em - 1em);
      vertical-align: top; }
    .biblio .bibitem .bibitem-title {
      display: block;
      line-height: 1.5; }
    .biblio .bibitem .bibitem-thesis-type::after {
      content: ". "; }
    .biblio .bibitem .bibitem-journal {
      font-style: italic; }
      .biblio .bibitem .bibitem-journal::before {
        font-style: normal;
        content: " In: "; }
    .biblio .bibitem .bibitem-booktitle {
      font-style: italic; }
      .biblio .bibitem .bibitem-booktitle::before {
        font-style: normal;
        content: " In: "; }
      .biblio .bibitem .bibitem-booktitle::after {
        content: ". "; }
    .biblio .bibitem .bibitem-howpublished::after {
      content: ". "; }
    .biblio .bibitem .bibitem-eventtitle {
      font-style: normal; }
      .biblio .bibitem .bibitem-eventtitle::before {
        font-style: normal;
        content: " In: "; }
      .biblio .bibitem .bibitem-eventtitle::after {
        content: ". "; }
    .biblio .bibitem .bibitem-volume::before {
      content: " "; }
    .biblio .bibitem .bibitem-number::before {
      content: " "; }
    .biblio .bibitem .bibitem-number::after {
      content: ". "; }
    .biblio .bibitem .bibitem-volume ~ .bibitem-number::before {
      content: "."; }
    .biblio .bibitem .bibitem-pages::before {
      content: " pp. "; }
    .biblio .bibitem .bibitem-pages::after {
      content: ". "; }
    .biblio .bibitem .bibitem-label-number {
      display: inline-block;
      width: 3em; }
      .biblio .bibitem .bibitem-label-number::before {
        content: '['; }
      .biblio .bibitem .bibitem-label-number::after {
        content: '] '; }
    .biblio .bibitem .bibitem-links {
      display: block;
      margin-top: 1ex; }
      .biblio .bibitem .bibitem-links .bibitem-hal_id {
        padding-left: 6px;
        padding-right: 6px;
        margin-right: 3px;
        padding-top: 0.3ex;
        background-color: #00499c;
        border: none;
        border-radius: 6px;
        color: #ffffff;
        font-weight: 500; }
      .biblio .bibitem .bibitem-links .bibitem-doi {
        padding-left: 6px;
        padding-right: 6px;
        margin-right: 3px;
        padding-top: 0.3ex;
        background-color: #f7c1ba;
        border: none;
        border-radius: 6px;
        color: black;
        font-weight: 500; }
      .biblio .bibitem .bibitem-links .bibitem-swhid {
        padding-left: 6px;
        padding-right: 6px;
        margin-right: 3px;
        padding-top: 0.3ex;
        background-color: #c00036;
        border: none;
        border-radius: 6px;
        color: #ffffff;
        font-weight: 500; }
      .biblio .bibitem .bibitem-links .bibitem-repository {
        padding-left: 6px;
        padding-right: 6px;
        margin-right: 3px;
        padding-top: 0.3ex;
        background-color: #c6ff05;
        border: none;
        border-radius: 6px;
        color: black;
        font-weight: 500; }
      .biblio .bibitem .bibitem-links .bibitem-backlink {
        padding-left: 6px;
        padding-right: 6px;
        margin-right: 3px;
        padding-top: 0.3ex;
        background-color: #ffffff;
        border: 1px solid #b11904;
        border-radius: 6px;
        color: #b11904;
        font-weight: 500; }
    .biblio .bibitem .bibitem-authors {
      display: block;
      margin-bottom: 0.5ex; }
    .biblio .bibitem .bibitem-lastname {
      font-variant: small-caps; }
    .biblio .bibitem .bibitem-firstname {
      display: none; }
    .biblio .bibitem .bibitem-series::after {
      content: ", "; }
    .biblio .bibitem .bibitem-location::after {
      content: ", "; }
    .biblio .bibitem .bibitem-location ~ .bibitem-publisher::after {
      content: ": "; }
    .biblio .bibitem .bibitem-publisher::after {
      content: ", "; }
    .biblio .bibitem .bibitem-institution::after {
      content: ", "; }
    .biblio .bibitem .bibitem-organization::after {
      content: ". "; }
    .biblio .bibitem .bibitem-address::after {
      content: ", "; }
    .biblio .bibitem .bibitem-school::after {
      content: ", "; }
    .biblio .bibitem .bibitem-note::after {
      content: ". "; }
    .biblio .bibitem .bibitem-version::before {
      content: "Version: "; }
    .biblio .bibitem .bibitem-version ~ .bibitem-date::before {
      content: ", "; }

ul[data-list-with-label] {
  list-style: none; }

ul > li {
  line-height: 1.3;
  margin-bottom: 1ex; }

ul.description-list {
  list-style-type: none;
  list-style-position: outside; }
  ul.description-list > li {
    line-height: 1.3;
    margin-bottom: 1ex; }
    ul.description-list > li p {
      display: inline;
      line-height: 1.3; }
    ul.description-list > li .item-label {
      font-weight: bold;
      margin-right: 0.8rem; }

ol > li {
  line-height: 1.3;
  margin-bottom: 1ex; }

.inriara-content section .section-number {
  color: #b11904; }

.inriara-content section h1 {
  font-size: 150%;
  margin-top: 2.5em;
  font-weight: bold;
  color: #b11904; }

.inriara-content section h2 {
  font-size: 120%;
  margin-top: 1.2em;
  font-weight: bold;
  color: #b11904; }

.inriara-content section h3 {
  font-size: 100%;
  margin-top: 1em;
  font-weight: bold;
  color: #b11904; }

.inriara-content section h4 {
  font-size: 100%;
  margin-top: 1em;
  font-weight: bold;
  display: inline; }

.inriara-content section h4 + p {
  display: inline; }

.minipage {
  display: inline-block; }

a[data-type="cite"]::before {
  content: '['; }

a[data-type="cite"]::after {
  content: ']'; }

figure {
  background: white;
  padding: 3em 10%;
  box-shadow: 0px 0px 20px rgba(0, 0, 0, 0.1), 0px 10px 20px rgba(0, 0, 0, 0.05), 0px 20px 20px rgba(0, 0, 0, 0.05), 0px 30px 20px rgba(0, 0, 0, 0.05);
  text-align: center;
  margin-bottom: 2em; }
  figure img {
    max-width: 80%; }
  figure figcaption {
    text-align: center;
    margin-top: 2em; }
    figure figcaption .figure-label {
      font-weight: bold; }
    figure figcaption .figure-label ~ p {
      display: inline; }
  figure .figure-line {
    text-align: center;
    display: flex; }
    figure .figure-line .img-wrap {
      flex: 1 1 auto; }
      figure .figure-line .img-wrap img {
        max-width: 100%;
        height: 100%; }

.table-wrap {
  box-shadow: 0px 0px 20px rgba(0, 0, 0, 0.1), 0px 10px 20px rgba(0, 0, 0, 0.05), 0px 20px 20px rgba(0, 0, 0, 0.05), 0px 30px 20px rgba(0, 0, 0, 0.05);
  padding: 1em; }
  .table-wrap table {
    margin-left: auto;
    margin-right: auto;
    border-collapse: collapse; }
    .table-wrap table caption {
      display: table-caption;
      caption-side: top;
      min-width: 20em;
      margin-bottom: 3ex;
      text-align: left; }
      .table-wrap table caption .table-label {
        font-weight: bold; }
    .table-wrap table tr {
      border-width: thin; }
      .table-wrap table tr.bottom-border {
        border-bottom: 1px solid black; }
      .table-wrap table tr.top-border {
        border-top: 1px solid black; }
      .table-wrap table tr td {
        margin-left: auto;
        margin-right: auto;
        border-width: 1px;
        padding: 0.3rem; }
        .table-wrap table tr td.left-border {
          border-left: 1px solid black; }
        .table-wrap table tr td.right-border {
          border-right: 1px solid black; }
        .table-wrap table tr td table {
          margin-bottom: 0px;
          box-shadow: none; }

#content section.ra-section {
  counter-reset: footnotes; }

#content .section-footnotes {
  position: sticky;
  bottom: -1em;
  margin-right: 1em; }
  #content .section-footnotes > ol > .note-content-visible {
    border: 1px solid #384257; }
  #content .section-footnotes > ol > .note-content-visible ~ .note-content-visible {
    border-top: none; }

#content .note-content-hidden {
  display: none; }

#content .note-mark, #content .note-mark-in-text {
  color: #099cff;
  font-weight: bold;
  font-size: 100%;
  vertical-align: super; }
  #content .note-mark::before, #content .note-mark-in-text::before {
    content: '('; }
  #content .note-mark::after, #content .note-mark-in-text::after {
    content: ')'; }

#content .note-mark {
  margin-right: 0.5rem; }

#content .note-content-visible {
  display: block;
  background: #ffffff;
  color: black;
  padding: 0.5rem;
  margin-bottom: -6px;
  font-size: smaller;
  border-left: 1px solid #384257;
  border-right: 1px solid #384257;
  box-shadow: 3px 3px #ccc; }

.numbered-equation .eq-number::before {
  content: "("; }

.numbered-equation .eq-number::after {
  content: ")"; }

section.ra-section .equation-formula .equation-formula {
  text-align: center;
  position: relative; }
  section.ra-section .equation-formula .equation-formula .eq-number {
    position: absolute;
    right: 3em; }

section.ra-section .equation-formula .display-formula {
  text-align: center;
  position: relative; }

section.ra-section .equation-formula .katex-display {
  display: inline-block; }

.inriara-content .latex-math {
  display: none; }

.inriara-content .mathml-math {
  display: inline-block; }

.inriara-content .display-math-wrapper {
  display: table;
  width: 95%; }
  .inriara-content .display-math-wrapper .numbered-equation {
    display: table-row; }
    .inriara-content .display-math-wrapper .numbered-equation .mathml-math {
      display: table-cell; }
    .inriara-content .display-math-wrapper .numbered-equation .eq-number {
      display: table-cell;
      text-align: right; }

section.ra-section .hi-bold {
  font-weight: bold; }

span.hi-bold {
  font-weight: bold; }

span.hi-it {
  font-style: italic; }

span.hi-tt {
  font-family: monospace; }

span.hi-small {
  font-size: small; }

span.hi-sc {
  font-variant: small-caps; }

.halign-left {
  text-align: left; }

.halign-center {
  text-align: center; }

.halign-right {
  text-align: right; }

a {
  font-weight: 400;
  color: #384257;
  border-bottom: 1px solid #e83101;
  transition: all 0.2s ease-in-out;
  text-decoration: none; }
  a:hover {
    color: #e83101; }

#a11y-wrapper {
  background: none; }
  #a11y-wrapper .font-switcher {
    position: sticky;
    top: 10px;
    left: 80vw;
    font-size: 80%;
    background-color: #384257;
    color: #ffffff;
    width: 20em;
    height: 4ex;
    border-radius: 1ex; }
    #a11y-wrapper .font-switcher:hover {
      cursor: pointer; }
    #a11y-wrapper .font-switcher[data-current-font='Inria Sans'] {
      font-size: 80%; }

#toc-view-switcher-button {
  position: absolute;
  top: 10px;
  right: 10px;
  background: none;
  border: none;
  color: #e83101;
  font-size: 150%; }

#toc-wrap[data-open='true'] {
  border: 1px solid #384257;
  box-shadow: 1ex #384257; }
  #toc-wrap[data-open='true'] #toc-view-switcher-button {
    cursor: w-resize; }

#toc-wrap[data-open='false'] #toc-view-switcher-button {
  cursor: e-resize; }

/* RA specific stuff */
.participants {
  background: #eeedf0;
  padding: 1em; }
  .participants .label {
    font-weight: bold; }

ul.description-list li .participants {
  display: block; }

.keywords .label {
  font-weight: bold; }

.to-toggler {
  color: #b11904;
  margin-left: 0.5em;
  width: 0px; }
  .to-toggler[data-to_state='open'] {
    cursor: n-resize; }
    .to-toggler[data-to_state='open']::before {
      content: '▲'; }
  .to-toggler[data-to_state='closed'] {
    cursor: s-resize; }
    .to-toggler[data-to_state='closed']::before {
      content: '▼'; }

li[data-to='true'] ul {
  border-left: 2px solid #b11904; }

.inria-kw-list content .kw-list-title {
  margin-left: 20%;
  text-align: left;
  font-size: 150%;
  margin-top: 2.5em;
  font-weight: bold;
  color: #b11904; }

.inria-kw-list content .kw-list-root {
  margin-left: 20%;
  font-size: 120%; }
  .inria-kw-list content .kw-list-root ul {
    font-size: 90%;
    font-weight: bold;
    margin-bottom: 1ex;
    margin-top: 0.5ex; }
    .inria-kw-list content .kw-list-root ul li {
      margin-bottom: 0.5ex; }
    .inria-kw-list content .kw-list-root ul ul {
      font-weight: normal; }

.inria-report-list #ra-list-content {
  padding: 3em; }

.inria-report-list .ra-list-toc {
  padding: 1em;
  border: 2px dashed #b11904;
  line-height: 1.2; }

.inria-report-list .introduction {
  color: #ffffff;
  background: #384257;
  padding: 1em; }

.inria-report-list #ra-list-header {
  margin-top: 1em;
  padding: 1em 3em;
  background: #ffffff;
  border-top: 1px solid #b11904;
  border-bottom: 1px solid #b11904; }

.inria-report-list .nav-alphabetic ul {
  display: inline-block;
  padding: 0px; }
  .inria-report-list .nav-alphabetic ul li {
    display: inline-block;
    font-size: 120%;
    background-color: #b11904;
    width: 1.5em;
    text-align: center;
    padding-top: calc(0.1ex + 0.4ex);
    padding-bottom: 0.1ex;
    margin-bottom: 0.6ex; }
    .inria-report-list .nav-alphabetic ul li a {
      color: #ffffff;
      line-height: 1;
      border: none; }

.inria-report-list .list-group-title {
  padding: 1ex;
  width: 2em;
  text-align: center;
  font-size: 90%;
  border: 2px solid #b11904; }

.inria-report-list ul.list-group {
  list-style: none;
  padding: 0px; }
  .inria-report-list ul.list-group li {
    margin-bottom: 1ex; }
    .inria-report-list ul.list-group li .team-name::before {
      content: " - ";
      color: #b11904; }