16 lines
423 B
HTML
16 lines
423 B
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
|
|
"http://www.w3.org/TR/html4/loose.dtd">
|
|
<html>
|
|
<head>
|
|
<title>{% trans filename=filename, docstitle=docstitle|e %}{{ filename }} — {{ docstitle }}{% endtrans %}</title>
|
|
<style type="text/css">
|
|
.hl { background-color: yellow }
|
|
</style>
|
|
</head>
|
|
<body style="font-size: 90%">
|
|
<pre>
|
|
{{ text }}
|
|
</pre>
|
|
</body>
|
|
</html>
|