Index: doc/example-scripts/rosetta-singleton.html
===================================================================
diff -u -r93bb0947d582f274afb1cdbc885909d55e100b36 -r24cb8f4bffd49c9375c1c64aa0610933b62511bb
--- doc/example-scripts/rosetta-singleton.html	(.../rosetta-singleton.html)	(revision 93bb0947d582f274afb1cdbc885909d55e100b36)
+++ doc/example-scripts/rosetta-singleton.html	(.../rosetta-singleton.html)	(revision 24cb8f4bffd49c9375c1c64aa0610933b62511bb)
@@ -3,7 +3,7 @@
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 <head>
 <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
-<meta name="generator" content="AsciiDoc 8.6.8" />
+<meta name="generator" content="AsciiDoc 8.6.9" />
 <title>Listing of doc/example-scripts/rosetta-singleton.tcl</title>
 <style type="text/css">
 /* Shared CSS for AsciiDoc xhtml11 and html5 backends */
@@ -94,8 +94,10 @@
   padding: 0;
   margin: 0;
 }
+pre {
+  white-space: pre-wrap;
+}
 
-
 #author {
   color: #527bbd;
   font-weight: bold;
@@ -223,7 +225,7 @@
 }
 
 div.imageblock div.content { padding-left: 0; }
-span.image img { border-style: none; }
+span.image img { border-style: none; vertical-align: text-bottom; }
 a.image:visited { color: white; }
 
 dl {
@@ -849,7 +851,7 @@
 <div id="footnotes"><hr /></div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2013-06-07 00:16:52 CEST
+Last updated 2014-12-13 12:07:41 CET
 </div>
 </div>
 </body>
