/* Preserve the original VTK top-bar colour without the removed login UI. */
#top {
  background-color: #41ad4a;
}