\ \ \ \ \ \ #{pageTitle pc} <link rel="stylesheet" href=@{StaticR css_normalize_css}> ^{pageHead pc} <!--[if lt IE 9]> <script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script> <![endif]--> <script> document.documentElement.className = document.documentElement.className.replace(/\bno-js\b/,'js'); <body> <div id="container"> <header> <div id="main" role="main"> $maybe msg <- mmsg <div #message>#{msg} ^{pageBody pc} <footer>