/* script for inserting LOGO ABOVE THE TOC */
#nav_logo {
  width: 100%;
  margin-top: 1.25em;
}