/* Color of python function headers */
.pre {
    color: rgb(69, 103, 171)
  }

/* Size of the logo in the top panel */
.container.flex.items-center.h-14 img {
    width: 50px;
    height: auto
  }