Index: doc/example-scripts/rosetta-sudoku.html
===================================================================
diff -u -N -rc08415f59c4ce753f976d0513d6208426772ef2a -r24cb8f4bffd49c9375c1c64aa0610933b62511bb
--- doc/example-scripts/rosetta-sudoku.html	(.../rosetta-sudoku.html)	(revision c08415f59c4ce753f976d0513d6208426772ef2a)
+++ doc/example-scripts/rosetta-sudoku.html	(.../rosetta-sudoku.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-sudoku.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 {
@@ -1092,7 +1094,7 @@
 <div id="footnotes"><hr /></div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2013-07-31 16:10:37 IST
+Last updated 2014-12-13 12:07:44 CET
 </div>
 </div>
 </body>
