$newline never
\<!doctype html>
<html>
  <head>
    <meta charset="UTF-8">
    <style>
      h1 {
        font-size: 1.25em;
        font-variant: small-caps;
        font-weight: normal;
      }
  <body>
    <h1>
      _{MsgMailUserRightsIntro userDisplayName userEmail}
    $with numSchools <- length adminSchools
      $if numSchools > 0
        <p>
          <h2>_{MsgAdminFor} _{MsgForSchools numSchools}
          <ul>
            $forall sn <- adminSchools
              <li>#{sn}
    $with numSchools <- length lecturerSchools
      $if numSchools > 0
        <p>
          <h2>_{MsgLecturerFor} _{MsgForSchools numSchools}
          <ul>
            $forall sn <- lecturerSchools
              <li>#{sn}
        <p>
          <a href=@{CourseNewR}>
            _{MsgMailLecturerRights numSchools}
      $else
        <p>_{MsgMailNoLecturerRights}

    ^{editNotifications}