/* class for footer */
.university {
    background-image: url(logo_rug.png);
    height: 40px;
    background-size: 160px;
    background-repeat: no-repeat;
}

/* Supports icons for brand using font-awesome */
.fab {
    font-family: "Font Awesome 5 Brands" !important;
}

/* make colour darker and better readable for links */
code a, pre a,
code a:hover, pre a:hover {
  color: #128f76;
}
a,
a:hover {
  color: #128f76;
}

/* syntax font */
pre, code {
    font-family: 'Courier New';
    font-size: 100% !important;
    font-weight: bold;
    background-color: transparent;
}
pre {
  font-size: 90% !important;
}
li, p {
    line-height: 1.5;
}

/* slightly smaller blockquote */
blockquote {
    font-size: 98%;
}

/* 2nd list in navigation should be smaller */
#tocnav li li {
  font-size: 90%;
  margin-left: 5px;
}

/* new <help> element with dotted underline */
help {
  border-bottom: 1px dotted;
  cursor: help;
}

/* replace 'Developers' with 'Authors' */
.developers h2 {
    display: none;
}
.developers:before {
    content: 'Authors';
    font-size: 1.5em;
}

/* hide version label */
.version.label {
  display: none;
}

/* more space between icon and text in top menu */
#navbar .fa,
#navbar .fab,
#navbar .fal,
#navbar .far,
#navbar .fas {
  margin-right: 5px;
}

/* tables */
.table {
  font-size: 90%;
}
.table td {
  padding: 4px !important;
}
thead {
    border-top: 2px solid black;
    border-bottom: 2px solid black;
}
tbody {
    border-bottom: 2px solid black;
}