h1.olive, h2.olive, h3.olive, h4.olive, h5.olive {
  color: olive;
}

h1.red, h2.red, h3.red, h4.red, h5.red {
  color: #800000;
}

a.nav-link.active {
  color: #800000 !important;
  font-size: larger;
}

figure > figcaption > cite > small {
  font-size: small;
  color: darkblue;
}

figure > figcaption > small {
  font-size: small;
  color: darkblue;
}

cite.std {
  font-size: small;
  color: darkblue;
}

/* X-Small devices (portrait phones, less than 576px)
 No media query for `xs` since this is the default in Bootstrap */
div.dView {
  width: 20rem;
  height: 10rem;
}

div.logo-positioning {
  text-align: left;
}

/* Small devices (landscape phones, 576px and up) */
@media (min-width: 576px) {
  div.dView {
    width: 20rem;
    height: 10rem;
  }
}
/* Medium devices (tablets, 768px and up) */
@media (min-width: 768px) {
  div.dView {
    width: 20rem;
    height: 10rem;
  }
}
/* Large devices (desktops, 992px and up) */
@media (min-width: 992px) {
  div.dView {
    width: 20rem;
    height: 10rem;
  }
}
/* X-Large devices (large desktops, 1200px and up) */
@media (min-width: 1200px) {
  div.dView {
    width: 40rem;
    height: 20rem;
  }
  div.logo-positioning {
    text-align: right;
  }
}
/* XX-Large devices (larger desktops, 1400px and up) */
@media (min-width: 1400px) {
  div.dView {
    width: 40rem;
    height: 20rem;
  }
}
/* Styles for general use */
img.intext {
  float: right;
}

.equation {
  margin: 20px;
}

.subscript {
  vertical-align: sub;
  font-size: small;
}

@media screen and (max-width: 900px) {
  img.remove {
    display: none;
  }
}/*# sourceMappingURL=application.css.map */