6 <title>$($PAGE title)</title>
7 <style type="text/css">
15 display: inline-block;
17 border-style: none solid solid solid;
18 border-width: 0 1px 1px 1px;
19 border-radius: 0 0 4px 4px;
22 padding: .5em 1ex .25em 1ex;
30 margin: .5em .5ex .25em .5ex;
31 padding: .2em 3ex .2em 3ex;
35 border-width: 2px 1px 2px 1px;
45 <div class="NAVIGATION">
46 $(NAVIGATION |sed -r 's:^([^ ]+) (.+)$:<a href="\1">\2</a>:g')
55 # vi:set filetype=html: