<title>$($PAGE title)</title>
<style type="text/css">
<!--
+* {
+ font-family: sans-serif;
+ box-sizing: border-box;
+ -moz-box-sizing: border-box;
+ -webkit-box-sizing: border-box;
+}
body {
background: #EEE;
margin: 0;
position: fixed;
top: 0;
display: inline-block;
- height: 1.5em;
border-style: none solid solid solid;
border-width: 0 1px 1px 1px;
border-radius: 0 0 4px 4px;
- margin-top: 0;
- margin-left: 3%;
- padding: .5em 1ex .25em 1ex;
+ margin: 0 auto auto 3%;
+ padding: .5em 1ex .5em 1ex;
background: #FFF;
}
.NAVIGATION a {
color: #008;
- border-style: solid;
- border-width: 1px;
- border-color: #BBF;
+ border: solid 1px #BBF;
margin: .5em .5ex .25em .5ex;
padding: .2em 3ex .2em 3ex;
background: #EFF;
background: #F3FFFF;
}
-
- $(. $PAGE css)
+/* dynamic page CSS starts here */
+$(. $PAGE css)
-->
</style>
</head>
- <body>
+ <body class="$PAGE">
<div class="NAVIGATION">
$(NAVIGATION |sed -r 's:^([^ ]+) (.+)$:<a href="\1">\2</a>:g')
</div>
- <div class="MAIN">
- $(. $PAGE body)
- </div>
+ $(. $PAGE body)
</body>
</html>
EOF