/proc/4047595/root/usr/share/source-highlight/ Current File: //proc/4047595/root/usr/share/source-highlight/html5.outlang

include "html5_common.outlang"

doctemplate
"<!DOCTYPE HTML>
<html>
<head>
<meta http-equiv=\"Content-Type\" content=\"text/html; charset=iso-8859-1\">
<meta name=\"GENERATOR\" content=\"$additional\">
<title>$title</title>
</head>
<body style=\"background-color:$docbgcolor\">
$header<pre>"
"</pre>
$footer</body>
</html>
"
end

nodoctemplate
"<!-- Generator: $additional -->
$header<pre>"
"</pre>$footer
"
end