github.com/pachyderm/pachyderm@v1.13.4/doc/custom_theme/banner.html (about)

     1  <div class="banner" style="padding:15px; background-color:#fdf3f2; height:55px; width:700px; font-size:14px;">
     2      <p><i class="fa fa-exclamation-triangle" aria-hidden="true">&nbsp</i>
     3      If you are using Pachyderm version <b>1.9.8</b> or later, go to <b><a href="https://docs.pachyderm.com">docs.pachyderm.com</a></b>.
     4      </p>
     5  </div>