/* css styles */


/* logo too small by default */
.navbar-logo {
  max-height: 75px;
  padding-left: 40px;
}

/* middle align also footer center */
.nav-footer-center {
  min-height: 0em;
}

.file-list {
  border-left: 5px solid gray;
  margin: 20px;
  padding: 5px;
}

.file-list li {
  list-style-type: none;
  font-size: 18px;
  margin: 10px 5px;
}

/* from https://stackoverflow.com/a/13354689 */
/* plus fix from https://stackoverflow.com/a/48004111/1395352 */
.file-list li:before {
  font-family: "Font Awesome 5 Free";
  display: inline-block;
  margin-left: -1.3em;
  width: 1.3em;
  font-weight: 900;
}

.tutorial li:before {
  content: "\f0c3";
}

.lecture li:before {
  content: "\f02d";
}