<html>
<head>
<title>{$pagename} - Security Enhanced Linux Reference Policy</title>
<style type="text/css" media="all">@import "style.css";</style>
</head>
<body>
<div id="Header">Security Enhanced Linux Reference Policy</div>
<div id="Menu">
{include file="menu.html"}
</div>
<div id="Content">
{$body}
</div>
</body>
</html>