$newline never
<section>
  <div .profile>
    <dl .deflist.profile-dl>
      $maybe title <- userTitle
        <dt .deflist__dt>_{MsgTitle}
        <dd .deflist__dd>#{title}
      <dt .deflist__dt>_{MsgSurname}
      <dd .deflist__dd>#{userSurname}
      <dt .deflist__dt>_{MsgFirstName}
      <dd .deflist__dd>#{userFirstName}
      <dt .deflist__dt>_{MsgMatrikelNr}
      <dd .deflist__dd>
        $maybe matnr <- userMatrikelnummer
          #{matnr}
        $nothing
          _{MsgNoMatrikelKnown}
      $maybe sex <- guardOn showSex =<< userSex
        <dt .deflist__dt>_{MsgSex}
        <dd .deflist__dd>_{sex}
      <dt .deflist__dt>_{MsgEMail}
      <dd .deflist__dd>#{mailtoHtml userEmail}
      $maybe date <- mRegAt
        <dt .deflist__dt>_{MsgRegisteredSince}
        <dd .deflist__dd>#{date}
      $if mayRegister
        <dt .deflist__dt>
        <dd .deflist__dd>
          ^{regButtonWidget}
          $maybe _ <- mRegistration
            <p>
              _{MsgCourseDeregisterLecturerTip}
      <dt .deflist__dt>_{MsgStudyTerms}
      <dd .deflist__dd>
        $if null studies
          _{MsgNoStudyTermsKnown}
        $else
          <div .scrolltable>
            <table .table.table--striped.table--hover.table--condensed>
              <tr .table__row>
                <th .table__th>_{MsgStudyTerm}
                <th .table__th>_{MsgStudyFeatureDegree}
                <th .table__th>_{MsgStudyFeatureType}
                <th .table__th>_{MsgStudyFeatureAge}
                <th .table__th>_{MsgStudyFeatureValid}
                <th .table__th>_{MsgStudyFeatureUpdate}
              $forall ((Entity _ StudyFeatures{studyFeaturesType, studyFeaturesSemester, studyFeaturesValid, studyFeaturesFirstObserved, studyFeaturesLastObserved}), (Entity _ degree), (Entity _ field)) <- studies
                <tr .table__row>
                  <td .table__td>_{field}
                  <td .table__td>_{degree}
                  <td .table__td>_{studyFeaturesType}
                  <td .table__td>#{studyFeaturesSemester}
                  <td .table__td>#{hasTickmark studyFeaturesValid}
                  <td .table__td>
                    $maybe fObs <- studyFeaturesFirstObserved
                      ^{formatTimeRangeW SelFormatDate fObs $ Just studyFeaturesLastObserved}
                    $nothing
                      ^{formatTimeW SelFormatDate studyFeaturesLastObserved}
