/* css styles */
.navbar .quarto-navbar-tools {
  order: 900;
}

#what-is-graph-tool h1 {
    margin-top: 0em;
}