[%# NOTE: this may soon be deprecated in favour of the new
# separate html/html, html/head and html/body templates
#
# html/header: standard header for HTML pages
# ARGS:
# bgcol # background colour (default: #ffffff)
# title # page title
# headers # additional HTML headers
-%]
[% DEFAULT bgcol = '#ffffff' -%]
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<title>[% title %]</title>
[% headers -%]
</head>
<body bgcolor="[% bgcol %]">