doc-src/ROOT

--- a/doc-src/ROOT	Mon Aug 27 23:29:45 2012 +0200
+++ b/doc-src/ROOT	Mon Aug 27 23:37:16 2012 +0200
@@ -123,7 +123,7 @@
     "document/root.tex"
 
 session Locales (doc) in "Locales" = HOL +
-  options [document_variants = "locales"]
+  options [document_variants = "locales", pretty_margin = 65]
   theories
     Examples1
     Examples2