dt>
  <dd>
    Colour to be used to display headings of items from the user database.
  </dd>
  <dt>
    <code class="key">SourceCodeBGColour</code> (Integer)
  </dt>
  <dd>
    Colour to be used for the background of source code in the main display.
  </dd>
  <dt>
    <code class="key">MainDBHeadingCustomColourCount</code> (Integer)
  </dt>
  <dd>
    Number of recorded custom colours for main database item headings.
  </dd>
  <dt>
    <code class="key">MainDBHeadingCustomColour<em>XXX</em></code> (String)