21 lines
917 B
Plaintext
21 lines
917 B
Plaintext
$newline never
|
|
<aside .main__aside>
|
|
<div .asidenav>
|
|
<div .asidenav__box>
|
|
<h3 .asidenav__box-title>
|
|
$# TODO: this has to come from favourites somehow. Show favourites from older terms?
|
|
WiSe 17/18
|
|
<ul .asidenav__list>
|
|
$forall (Course{..}, courseRoute, pageActions) <- favourites
|
|
<li .asidenav__list-item :highlight courseRoute:.asidenav__list-item--active>
|
|
<a .asidenav__link-wrapper href=@{courseRoute}>
|
|
<div .asidenav__link-shorthand>#{courseShorthand}
|
|
<div .asidenav__link-label>#{courseName}
|
|
<ul .asidenav__nested-list>
|
|
$forall action <- pageActions
|
|
$case action
|
|
$of PageActionPrime (MenuItem{..})
|
|
<li .asidenav__nested-list-item>
|
|
<a .asidenav__link-wrapper href=@{menuItemRoute}>#{menuItemLabel}
|
|
$of _
|