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