$newline never
$if not (null allocationsBounds)
  <h2>_{MsgCourseAllocationsBounds (length allocationsBounds)}
  <dl .deflist>
    $forall (Allocation{allocationName}, numApps, numFirstChoice, capped) <- allocationsBounds
      <dt .deflist__dt>
        #{allocationName}
      <dd .deflist__dd>
        <p>
          $if numApps == numFirstChoice
            _{MsgCourseAllocationsBoundCoincide numFirstChoice}
          $else
            _{MsgCourseAllocationsBound numApps numFirstChoice}
        $if capped
          <p>
            _{MsgCourseAllocationsBoundCapped}

<h2>_{MsgMenuCourseApplications}
^{table}