/* Styles for index.html under /var/www/html and /var/www/html/internal */

/* some font styles roughly as seen in some of the deployed mkdocs sites */
@import url('https://fonts.googleapis.com/css2?family=Roboto:wght@400');
body {
  font-family: Roboto,-apple-system,BlinkMacSystemFont,Helvetica,Arial,sans-serif;
  font-feature-settings: "kern","liga";
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

ul {
  list-style-type: "→ ";
}
ul li {
  margin-bottom: 12px;
}

.site_description::before {
  content: "— ";
}

.extra {
  margin-top: 30px;
}

a {
  color: #045fae;
  text-decoration: none;
}