/*
 * Additional fonts
 */
/* LinBiolinum is sans-serif; see linuxlibertine.org */
@font-face {
  font-family: "LinBiolinum";
  src: url("../fonts/LinLibertine/LinBiolinum_R.otf") format("opentype");
}

@font-face {
  font-family: "LinBiolinum";
  font-weight: bold;
  src: url("../fonts/LinLibertine/LinBiolinum_RB.otf") format("opentype");
}

@font-face {
  font-family: "LinBiolinum";
  font-style: italic;
  src: url("../fonts/LinLibertine/LinBiolinum_RI.otf") format("opentype");
}

/*
 * Modified Pico settings 
 */
:root {
  --pico-font-family-sans-serif: LinBiolinum, system-ui, "Segoe UI", Roboto,
    Oxygen, Ubuntu, Cantarell, Helvetica, Arial, "Helvetica Neue", sans-serif,
    var(--pico-font-family-emoji);
}

a {
  --pico-text-decoration: none;
}


/*
 * Regular CSS
 */

/* Jumbotron */
#jumbotron-title {
  border-bottom: thin solid black;

  h1 {
    font-size: 3rem;
    font-weight: 500;
    margin-bottom: 10px;

    a {
      color: var(--pico-h1-color);
    }
  }
}

#jumbotron-subtitle h2 {
  font-size: 2.1rem;
  font-weight: 500;
  margin-top: 10px;
}

/* site navbar */
#site-navbar>div>ul {
  box-shadow: rgba(100, 100, 111, 0.2) 0px 7px 29px 0px;

  a {
    font-weight: bold;
  }
}