$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>
      _{SomeMessage $ MsgMailUserRightsIntro userDisplayName userEmail}
    <dl>
      $forall (function, schools) <- Map.toList functions
        <dt>_{SomeMessage $ function}
        <dd>
          <ul>
            $forall sn <- schools
              <li>
                #{sn}
    $with numSchools <- maybe 0 Set.size $ Map.lookup SchoolLecturer functions
      $if numSchools > 0
        <p>
          <a href=@{CourseNewR}>
            _{SomeMessage $ MsgMailLecturerRights numSchools}
      $else
        <p>_{SomeMessage $ MsgMailNoLecturerRights}

    ^{ihamletSomeMessage editNotifications}
