$newline never
<aside .main__aside uw-asidenav>
  <div .asidenav__logo>
    <a href="/" .asidenav__logo-link>
      <div .asidenav__logo-lmu >
        #{logo}
   

  <div .asidenav>
    $if null favouriteTerms && is _Just muid
      <div .asidenav__box-explanation>
        _{MsgFavouritesEmptyTip}
    $else
      $forall tid <- favouriteTerms
        <div .asidenav__box>
          <h3 .asidenav__box-title uw-show-hide data-show-hide-id="#{termToText tid}" data-show-hide-align=right>
            <div .asidenav-term-identifier--long>
              _{ShortTermIdentifier tid}
            <div .asidenav-term-identifier--short>
              #{toPathPiece tid}
          $forall favReason <- sortOn Down universeF
            $if not (null $ favouriteTermReason tid favReason)
              <h3 .asidenav__box-subtitle>
                _{favReason}
              <ul .asidenav__list.list--iconless>
                $forall ((cName, _, _, csh), courseRoute, mPageActions, _, courseVisible, _, mayEdit) <- favouriteTermReason tid favReason
                  <li .asidenav__list-item :highlight courseRoute:.asidenav__list-item--active>
                    <a .asidenav__link-wrapper href=@{courseRoute}>
                      <div .asidenav__link-shorthand>#{csh}
                      <div .asidenav__link-label>
                        <div .asidenav__link-label-text>
                          #{cName}
                          $if mayEdit && not courseVisible
                            \ #{iconInvisible}
                        $if showFavToggle favReason
                          <div .asidenav__link-favourite-toggle>
                            ^{favouriteToggleWgt}
                    <div .asidenav__nested-list-wrapper>
                      $maybe pageActions <- mPageActions
                        <ul .asidenav__nested-list.list--iconless>
                          $forall (label, route) <- pageActions
                            <li .asidenav__nested-list-item>
                              <a .asidenav__link-wrapper href=#{route}>#{label}
                      $nothing
                        <p .asidenav__nested-list--unavailable>
                          _{MsgFavouritesUnavailableTip}
    $if anyFavToggle
      <div .asidenav__box-explanation>
        _{MsgFavouritesToggleTip}
    