med vector of colors (HEX/HTML codes of type character).</p>
    </div>
    <div class="section level2">
    <h2 id="details">Details<a class="anchor" aria-label="anchor" href="#details"></a></h2>
    <p>The 8 official web colours are
<code>"Waikato light red"</code> (defined as HEX #D40100),
<code>"Waikato medium red"</code> (defined as HEX #BE0403),
<code>"Waikato dark red"</code> (defined as HEX #AA0000),
<code>"Waikato light yellow"</code> (defined as HEX #FAA61A),
<code>"Waikato darker yellow"</code> (