<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/* css styles */
/*
 // Plan 9 colours
 $p00: #000000;
 $p01: #adf4f4;
 $p02: #468747;
 $p03: #8f7734;
 $p04: #268bd2;
 $p05: #888aca;
 $p06: #6aa7a8;
 $p07: #f3f3d3;
 
 $p08: #878781;
 $p09: #ffdddd;
 $p10: #ebffeb;
 $p11: #edeea5;
 $p12: #ebffff;
 $p13: #96d197;
 $p14: #a1eeed;
 $p15: #ffffeb;

 */

/* Force bootstrap colours */
#quarto-header .navbar  { background-color: #30638e; }
#quarto-header .navbar .navbar-brand,
#quarto-header .navbar .nav-link,
#quarto-header .navbar #quarto-search svg
{ color: white; }

 /*
 * Unless forced the height of the logo is reduced by the surrounding a.navbar-brand.
 * We also require a white fill colour.
 */
 .navbar-logo {
    height: 36px !important;
    max-height: 36px !important;
    width: 36px !important;
    filter: invert(100%) sepia(0%) saturate(0%) hue-rotate(93deg) brightness(103%) ;
    padding: 0;
    margin-right: 4px;
  }
  /*
  * Having increased the height of the logo, we reduce the top and bottom padding of the surrounding .navbar-brand.
  */
  .navbar-brand {
    padding-top: 0;
    padding-bottom: 0
  }

  /*
   * After a quarto update we need this to persuade the burger icon to be white
   */
  .navbar-toggler-icon {
    filter: invert(100%)  brightness(150%) ;
  }</pre></body></html>