# HG changeset patch
# User paulb@localhost.localdomain
# Date 1180139282 -7200
# Node ID 49b32970a4424fc2186740d398ea6f533ac681d9
# Parent c35d548be556f4a2bb5d007220628abc84ed2bb0
Moved to XHTML 1.0 transitional, employing the appropriate filename extension
and anchor identifier structure.
Adjusted the pop-up element positioning.
diff -r c35d548be556 -r 49b32970a442 viewer.py
--- a/viewer.py Wed May 02 00:23:19 2007 +0200
+++ b/viewer.py Sat May 26 02:28:02 2007 +0200
@@ -32,11 +32,15 @@
# HTML-related output production.
html_header = """
-
+
Module