code>. For each value of <code class="key">XXX</code> there are 12 <code class="key">.Elem<em>YYY</em></code> values, with <code class="key">YYY</code> ranging from <code class="value">0</code> to <code class="value">11</code>.
    </div>
    <div class="half-spaced">
      Each value contains a bitmask representing the font style of a source code element.
    </div>
  </dd>
  <dt>
    <code class="key">CustomColourCount</code> (Integer)
  </dt>
  <dd>
    Number of recorded custom colours available for use